Active Bibliography

203 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
32 Implementing the Meta-Theory of Deductive Systems – Frank Pfenning, Ekkehard Rohwedder - 1992
Compilation – The Model Of
40 Natural Semantics and Some of its Meta-Theory in Elf – Spiro Michaylov, Frank Pfenning, Im Stadtwald - 1991
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
53 From operational semantics to abstract machines – John Hannan, Dale Miller - 1992
98 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
33 A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework – Frank Pfenning - 1992
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
Formalization in a Logical Framework – Frank Pfenning
21 Polymorphic Type Inference and Semi-Unification – Fritz Henglein - 1989
2 A two-level logic approach to reasoning about computations – Andrew Gacek , Dale Miller, Gopalan Nadathur
11 Implementing Typeful Program Transformations – Chiyan Chen, Rui Shi, Hongwei Xi
32 Reference Counting as a Computational Interpretation of Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1996
83 Evaluation Logic – Andrew Pitts - 1990
148 Dynamic Typing in a Statically Typed Language – Martín Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin - 1989
59 A concurrent logical framework I: Judgments and properties – Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker - 2003
11 A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax – Amy Felty, Alberto Momigliano - 2010
1 Nominal Verification of Algorithm W – Christian Urban, Tobias Nipkow - 2008