Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
2. A filter lambda model and the completeness of type assignment;Barendregt;J. Symbolic Logic,1983
3. An extension of the basic functionality theory for the λ-calculus;Coppo;Notre Dame J. Formal Logic,1980
4. Extended type structures and filter lambda models;Coppo,1983
5. Principal type schemes and λ-calculus semantics;Coppo,1980
Cited by
98 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献