Daniel J. Lehmann
-
On the completeness of order-theoretic models of the λ-calculus
Information and Computation
Some reasons for generalising domain theory
Mathematical Structures in Computer Science
Models and emerging trends of concurrent constraint programming
Constraints