Author:
Abel Andreas,Coquand Thierry,Norell Ulf
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science;A. Abel,2005
2. Abel, A., Coquand, T., Norell, U.: Connecting a logical framework to a first-order logic prover (extended version). Technical report, Department of Computing Science, Chalmers University of Technology, Gothenburg, Sweden (2005), Available under http://www.cs.chalmers.se/~ulfn/papers/fol.html
3. Altenkirch, T., McBride, C., McKinna, J.: Why dependent types matter (April 2005) (Manuscript, available online)
4. Beeson, M.: Otter-λ home page (2005), http://mh215a.cs.sjsu.edu/
5. Texts in Theoretical Computer Science. An EATCS Series;Y. Bertot,2004
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Goal Translation for a Hammer for Coq (Extended Abstract);Electronic Proceedings in Theoretical Computer Science;2016-06-17
2. HALO;ACM SIGPLAN Notices;2013-01-23
3. Sort It Out with Monotonicity;Lecture Notes in Computer Science;2011
4. Integrating an Automated Theorem Prover into Agda;Lecture Notes in Computer Science;2011
5. A Tool for Automated Theorem Proving in Agda;Lecture Notes in Computer Science;2006