|
93
|
The Geometry of Optimal Lambda Reduction
– Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
- 1992
|
|
107
|
An algorithm for optimal lambda calculus reduction
– John Lamping
- 1990
|
|
150
|
Interaction nets
– Y Lafont
- 1990
|
|
91
|
Geometry of Interaction I: interpretation of system F
– J-Y Girard
- 1989
|
|
115
|
The Structure of Multiplicatives
– V Danos, L Regnier
- 1989
|
|
95
|
Rductions correctes et optimales dans le lambda-calcul. PhD thesis Paris 7
– J J Levy
- 1978
|
|
112
|
A game semantics for linear logic
– A Blass
- 1992
|
|
85
|
Decision Problems for Propositional Linear Logic
– Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar
- 1990
|
|
290
|
Logic Programming with Focusing Proofs in Linear Logic
– Jean-marc Andreoli
- 1992
|
|
30
|
Constant-Only Multiplicative Linear Logic is NP-Complete
– Patrick Lincoln, Timothy Winkler
- 1992
|
|
20
|
Logic programming with sequent systems: a linear logic approach
– J-M Andreoli, R Pareschi
- 1990
|
|
22
|
programming in linear logic is NP-complete
– Horn
- 2002
|
|
69
|
New Foundations for the Geometry of Interaction
– Samson Abramsky, Radha Jagadeesan
- 1993
|
|
201
|
Linear Objects: logical processes with built-in inheritance
– Jean-marc Andreoli, Remo Pareschi
|
|
283
|
Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract
– Joshua S. Hodas, Dale Miller
- 1991
|
|
64
|
S.: The Optimal Implementation of Functional Programming Languages. Cambridge Tracts
– A Asperti, Guerrini
- 1998
|
|
10
|
Some results on the interpretation of *-calculus in operator algebras
– P Malacaria, L Regnier
- 1991
|
|
74
|
Optimal reductions in the lambda calculus
– J-J Lévy
- 1980
|
|
541
|
Light Linear Logic
– Jean-yves Girard
|
