Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. Full Abstraction in the Lazy Lambda Calculus;Abramsky;Information and Computation,1993
2. A Theory of Objects;Abadi,1996
3. Faithful Ideal Models for Recursive Polymorphic Types;Abadi;Int. J. of Foundations for Computer Science,1991
4. Subtyping Recursive Types;Amadio;ACM Trans. on Prog. Lang and Systems,1993
5. The Lambda-Calculus, its Syntax and Semantics;Barendregt,1984