Author:
Levy Paul Blain,Weldemariam Kidane Yemane
Subject
General Computer Science,Theoretical Computer Science
Reference9 articles.
1. The lazy λ-calculus;Abramsky,1990
2. Proving congruence of bisimulation in functional programming languages;Howe;Inf. and Comp.,1996
3. Concrete domains;Kahn;Theoretical Comp. Sci.,1993
4. Infinitary Howe's method;Levy;ENTCS,2006
5. Infinite trace equivalence;Levy;Annals of Pure & Applied Logic,2008