Author:
Bove Ana,Capretta Venanzio
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. P. Aczel. An Introduction to Inductive Definitions. In J. Barwise, editor, Handbook of Mathematical Logic, pages 739–782. North-Holland Publishing Company, 1977.
2. T. Altenkirch, V. Gaspes, B. Nordström, and B. von Sydow. A User’s Guide to ALF. Chalmers University of Technology, Sweden, May 1994. Available on the WWW ftp://ftp.cs.chalmers.se/pub/users/alti/alf.ps.Z .
3. P. Audebaud. Partial Objects in the Calculus of Constructions. In 6th Annual IEEE Symposium on Logic in Computer Science, Amsterdam, pages 86–95, July 1991.
4. Lect Notes Comput Sci;A. Balaa,2000
5. A. Bove. Simple general recursion in type theory. Nordic Journal of Computing, 8(1):22–42, Spring 2001.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Primitive Recursive Dependent Type Theory;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Representations and the Foundations of Mathematics;Notre Dame Journal of Formal Logic;2022-02-01
3. Programming Language Foundations in Agda;Lecture Notes in Computer Science;2018
4. A Coq formalization of normalization by evaluation for Martin-Löf type theory;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018;2018
5. Turing-Completeness Totally Free;Lecture Notes in Computer Science;2015