Author:
Kamareddine Fairouz,Rahli Vincent
Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. H. Barendregt, J. A. Bergstra, J. W. Klop, and H. Volken. Degrees, reductions and representability in the lambda calculus. Technical Report Preprint no. 22, University of Utrecht, Department of Mathematics, 1976
2. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
3. Lambda calculi with types;Barendregt,1992
4. A formulation of the simple theory of types;Church;The Journal of Symbolic Logic,1940
5. Some properties of conversion;Church;Transactions of the American Mathematical Society,1936