Active Bibliography

217 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
44 Natural Semantics and Some of its Meta-Theory in Elf – Spiro Michaylov, Frank Pfenning - 1991
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
59 From operational semantics to abstract machines – John Hannan, Dale Miller - 1992
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
36 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
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
11 Implementing Typeful Program Transformations – Chiyan Chen, Rui Shi, Hongwei Xi
7 A two-level logic approach to reasoning about computations – Andrew Gacek , Dale Miller, Gopalan Nadathur
33 Order-sorted polymorphism in isabelle – Tobias Nipkow, Tu M√ľnchen - 1993
34 Reference Counting as a Computational Interpretation of Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1996
88 Categorical Logic – Andrew M. Pitts - 1995
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
1 Linear Logic – Frank Pfenning - 1998