Author:
Bonsangue Marcello M.,Kok Joost N.
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. S. Abramsky. The lazy lambda calculus. In Research Topics in Functional Programming, pp. 65–117, Addison Wesley, 1990.
2. S. Abramsky. Domain theory in logical form. Annals of Pure and Applied Logic, 51(1):1–77, 1991.
3. Lect Notes Comput Sci;F. Barbanera,1991
4. F. Barbanera, M. Dezani-Ciancaglini, and U. dé Liguoro. Intersection and union types: syntax and semantics. Information and Computation, 119:202–230, 1995.
5. H. Barendregt. The Lambda Calculus: Its Syntax and Semantics. North Holland, 1984.