Author:
van Bakel Steffen,Liquori Luigi,della Rocca Simona Ronchi,Urzyczyn Pawel
Reference21 articles.
1. A filter lambda model and the completeness of type assignment;Barendregt;J. Symbolic Logic,1983
2. Introduction to generalised type systems;Barendregt;J. Functional Programming,1991
3. Lambda calculi with types;Barendregt,1992
4. g-Stratification is Equivalent to /tf-Stratification;Ben-Yelles;Z. Math. Logik. Grundlag. Math.,1981
5. Towards a mathematical analysis of type dependence in Coquand-Huet calculus of constructions and the other systems in Barendregt's cube;Berardi,1988
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Classical Sequent Calculus with Dependent Types;ACM Transactions on Programming Languages and Systems;2019-06-21
2. Bridging Curry and Church's typing style;Journal of Applied Logic;2016-11
3. Logic and Computation in a Lambda Calculus with Intersection and Union Types;Logic for Programming, Artificial Intelligence, and Reasoning;2010
4. Introduction to Type Theory;Language Engineering and Rigorous Software Development;2009
5. Calculi, types and applications;Theoretical Computer Science;2008-05