Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Technical report;B. Barras,1999
2. Lect Notes Comput Sci;S. Berghofer,2000
3. Th. Coquand, G. Huet. The Calculus of Constructions. Information and Computation, 76(2/3):95–120, 1988.
4. H. Geuvers. The Church-Rosser property for βη-reduction in typed λ-calculi. In Proc. of LICS’92, pp. 453–460. IEEE Press, 1992.
5. Lect Notes Comput Sci;W. O. D. Griffoen,1998
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Modular Type Reconstruction Algorithm;ACM Transactions on Computational Logic;2018-10-31
2. Bidirectional Elaboration of Dependently Typed Programs;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014