Active Bibliography

2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
19 Higher Order Logic – Daniel Leivant - 1994
36 Ordered Linear Logic and Applications – Jeff Polakow, Harper John Reynolds - 2001
81 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
3 Encoding Generic Judgments – Dale Miller, Alwen Tiu, Ècole Polytechnique - 2002
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
14 Implementation Considerations for Higher-Order Features in Logic Programming – Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson - 1993
4 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003
Imagining CLP(Λ,≡αβ) – Olivier Ridoux - 1995
I R I S a – Campus Universitaire De, Olivier Ridoux, Projet Lande - 1994
44 Natural Semantics and Some of its Meta-Theory in Elf – Spiro Michaylov, Frank Pfenning - 1991
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
Lightweight Lemmas in λProlog (Extended Version) – Andrew W. Appel, Amy P. Felty - 1999
12 A Notation for Lambda Terms II: Refinements and Applications – Gopalan Nadathur - 1994
33 A Notation for Lambda Terms I: A Generalization of Environments – Gopalan Nadathur, Debra Sue Wilson - 1994
33 A Linear Spine Calculus – Iliano Cervesato, Frank Pfenning - 2003
20 Encoding Dependent Types in an Intuitionistic Logic – Amy Felty - 1991