|
290
|
Logic Programming with Focusing Proofs in Linear Logic
– Jean-marc Andreoli
- 1992
|
|
283
|
Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract
– Joshua S. Hodas, Dale Miller
- 1991
|
|
334
|
Uniform proofs as a foundation for logic programming
– Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov
- 1991
|
|
729
|
A formulation of the simple theory of types
– A Church
- 1940
|
|
203
|
A Linear Logical Framework
– Iliano Cervesato, Frank Pfenning
- 1996
|
|
99
|
The π-calculus as a theory in linear logic: Preliminary results
– Dale Miller
- 1993
|
|
84
|
Reasoning with higher-order abstract syntax in a logical framework
– R McDowell, D Miller
- 2002
|
|
269
|
Higher-order abstract syntax
– Frank Pfenning, Conal Elliott
- 1988
|
|
84
|
A Multiple-Conclusion Meta-Logic
– Dale Miller
- 1994
|
|
634
|
A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
- 1993
|
|
38
|
A Concurrent Logical Framework II: Examples and Applications
– Iliano Cervesato, Frank Pfenning, David Walker, Kevin Watkins
- 2002
|
|
209
|
Investigations into logical deduction
– G Gentzen
- 1969
|
|
56
|
Cut-elimination for a logic with definitions and induction
– Raymond Mcdowell, Dale Miller
- 1997
|
|
20
|
Forum: A multiple-conclusion specification language
– D Miller
- 1996
|
|
134
|
A meta-notation for protocol analysis
– I. Cervesato, N. A. Durgin, P. D. Lincoln, J. C. Mitchell, A. Scedrov
- 1999
|
|
201
|
Linear Objects: logical processes with built-in inheritance
– Jean-marc Andreoli, Remo Pareschi
|
|
61
|
A proof-theoretic approach to logic programming. II. Programs as definitions
– L Hallnäs, P Schroeder-Heister
- 1991
|
|
933
|
Bigraphs and Mobile Processes
– Ole Høgh Jensen, Robin Milner
- 2003
|
|
23
|
A Finitary Version of the Calculus of Partial Inductive Definitions
– Lars-henrik Eriksson
- 1992
|
