Author:
Pfenning Frank,Schürmann Carsten
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Gilles Dowek, Thérèse Hardin, Claude Kirchner, and Frank Pfenning. Unification via explicit substitutions: The case of higher-order patterns. In M. Maher, editor, Proceedings of the Joint International Conference and Symposiumon Logic Programming, pages 259–273, Bonn, Germany, September 1996. MIT Press.
2. Robert Harper, Furio Honsell, and Gordon Plotkin. A framework for defining logics. Journal of the Association for Computing Machinery, 40(1):143–184, January 1993.
3. Frank Pfenning. Computation and Deduction. Cambridge University Press. In preparation. Draft from April 1997 available electronically.
4. Frank Pfenning. Logic programming in the LF logical framework. In Gérard Huet and Gordon Plotkin, editors, Logical Frameworks, pages 149–181. Cambridge University Press, 1991.
5. Frank Pfenning. Elf: A meta-language for deductive systems. In A. Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction, pages 811–815, Nancy, France, June 1994. Springer-Verlag LNAI 814. System abstract.
Cited by
218 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Nominal Recursors as Epi-Recursors;Proceedings of the ACM on Programming Languages;2024-01-05
2. Language-parameterized Proofs for Functional Languages with Subtyping;Lecture Notes in Computer Science;2024
3. Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic;Lecture Notes in Computer Science;2024
4. Semi-Automation of Meta-Theoretic Proofs in Beluga;Electronic Proceedings in Theoretical Computer Science;2023-11-17
5. Contextual Refinement Types;Electronic Proceedings in Theoretical Computer Science;2023-11-17