Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference40 articles.
1. Formal parametric polymorphism;Abadi;Theoretical Computer Science,1993
2. The Lambda Calculus;Barendregt,1980
3. Introduction to generalized types systems;Barendregt;Journal of Functional Programming,1991
4. Functorial polymorphism;Bainbridge,1990
5. Automatic synthesis of typed Λ-programs on term algebras;Böhm;Theoretical Computer Science,1985
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lambda: the ultimate sublanguage (experience report);Proceedings of the ACM on Programming Languages;2019-07-26
2. The Girard–Reynolds isomorphism (second edition);Theoretical Computer Science;2007-05
3. Bibliography;Lectures on the Curry-Howard Isomorphism;2006
4. Pure type systems and the λ-cube;Lectures on the Curry-Howard Isomorphism;2006
5. Second-order arithmetic;Lectures on the Curry-Howard Isomorphism;2006