1. Computational interpretations of linear logic;Abramsky,1990
2. Abstract Interpretation for Declarative Languages,1987
3. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
4. H. Barendregt and K. Hemerik, Types in lambda calculi and programming languages, in: Proc. ESOP '90.
5. The chemical abstract machine;Berry;Conf. Record of the 17th Ann. ACM Symp. on Principles of Programming Languages,1990