Author:
Capretta Venanzio,Felty Amy P.
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Lecture Notes in Computer Science;S.J. Ambler,2002
2. Lecture Notes in Computer Science;B.E. Aydemir,2005
3. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004)
4. Coq Development Team, LogiCal Project. The Coq Proof Assistant reference manual: Version 8.0. Technical report, INRIA (2006)
5. Coquand, T., Huet, G.: The Calculus of Constructions. Information and Computation 76, 95–120 (1988)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations;Journal of Automated Reasoning;2015-07-05
2. Using circular programs for higher-order syntax;Proceedings of the 18th ACM SIGPLAN international conference on Functional programming;2013-09-25
3. Hybrid;Journal of Automated Reasoning;2010-08-07