System Description: Twelf --- A Meta-Logical Framework for Deductive Systems (1999)

by Frank Pfenning , Carsten Schurmann
Venue:Proceedings of the 16th International Conference on Automated Deduction (CADE-16
Citations:313 - 49 self

Active Bibliography

A Meta-Logical Framework Based on Realizability – Carsten Schürmann - 2000
5 Verifying Uniqueness in a Logical Framework – Penny Anderson, Frank Pfenning - 2004
39 A Coverage Checking Algorithm for LF – Carsten Schürmann, Frank Pfenning - 2003
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
2 Automated Techniques for Provably Safe Mobile Code – Karl Crary , Robert Harper, Peter Lee, Frank Pfenning - 2000
20 Hybridizing a logical framework – Jason Reed, Karl Crary, Robert Harper - 2006
1 A temporal-logic approach to programming with dependent types and higher-order encodings – Adam Poswolsky, Carsten Schürmann - 2005
216 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
35 Automated Theorem Proving in a Simple Meta-Logic for LF – Carsten Schürmann, Frank Pfenning - 1998
26 Tabled Higher-Order Logic Programming – Brigitte Pientka - 2003
2 Beluga: programming with dependent types, contextual data, and contexts – Brigitte Pientka
32 A Linear Spine Calculus – Iliano Cervesato, Frank Pfenning - 2003
23 Nominal logic programming – James Cheney, Christian Urban - 2006
2 Refinement Types for Logical Frameworks – William Lovas - 2010
5 Higher-order pattern complement and the strict λ-calculus – Alberto Momigliano, Frank Pfenning
Formalization in a Logical Framework – Frank Pfenning
Compilation – The Model Of
A Meta-Logical Framework Based on Regular Worlds – Carsten Schürmann - 2000
15 Termination and Reduction Checking in the Logical Framework – Brigitte Pientka, Frank Pfenning - 2000