|
15
|
A Structural Proof of Cut Elimination and Its Representation in a Logical Framework
– Frank Pfenning
- 1994
|
|
203
|
A Linear Logical Framework
– Iliano Cervesato, Frank Pfenning
- 1996
|
|
10
|
Elimination of Negation in a Logical Framework
– Alberto Momigliano
- 2000
|
|
55
|
Structural Cut Elimination
– Frank Pfenning
- 1995
|
|
3
|
Object-Level Substitution, Unification And Generalization In Meta-Logic
– Chuck C. Liang
- 1995
|
|
78
|
Automating the Meta Theory of Deductive Systems
– Carsten Schurmann, Dana Scott
- 2000
|
|
29
|
Strong Normalisation of Cut-Elimination in Classical Logic
– C. Urban, G. M. Bierman
- 2000
|
|
2
|
On the Intuitionistic Force of Classical Search (Extended Abstract)
– Eike Ritter , David Pym, Lincoln Wallen
- 1996
|
|
19
|
On the Intuitionistic Force of Classical Search
– Eike Ritter , David Pym, Lincoln Wallen
- 1996
|
|
6
|
Representing Proof Transformations for Program Optimization
– Penny Anderson
- 1994
|
|
3
|
A Computational Meta Logic for the Horn Fragment of LF
– Carsten Schürmann
- 1995
|
|
29
|
Mode and Termination Checking for Higher-Order Logic Programs
– Ekkehard Rohwedder, Frank Pfenning
- 1996
|
|
2
|
Decidability Extracted: Synthesizing ``Correct-by-Construction'' Decision Procedures from Constructive Proofs
– James L. Caldwell
- 1998
|
|
15
|
Hybridizing a logical framework
– Jason Reed, Karl Crary, Robert Harper
- 2006
|
|
40
|
A Judgmental Analysis of Linear Logic
– Bor-Yuh Evan Chang, Kaustuv Chaudhuri, Frank Pfenning
- 2003
|
|
38
|
Refinement Types for Logical Frameworks
– Frank Pfenning
- 1993
|
|
33
|
Ordered Linear Logic and Applications
– Jeff Polakow, Harper John Reynolds
- 2001
|
|
4
|
A Survey of Linear Logic Programming
– Dale Miller
- 1995
|
|
|
On Goal-Directed Proofs in Multiple-Conclusioned Intuitionistic Logic
– James Harland, Tatjana Lutovac, Michael Winikoff
|
