Author:
Kamareddine Fairouz,Seldin Jonathan P.,Wells J.B.
Funder
Natural Sciences and Engineering Research Council of Canada
Scottish Informatics and Computer Science Alliance
Pacific Institute of Mathematical Sciences
Subject
Applied Mathematics,Logic
Reference22 articles.
1. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
2. Lambda calculi with types;Barendregt,1992
3. Domain free pure type systems;Barthe;J. Funct. Program.,2000
4. Pure type systems with more liberal rules;Bunder;J. Symb. Log.,2001
5. A formulation of the simple theory of types;Church;J. Symb. Log.,1940