Linear Logic Without Boxes (1992)

Cached

Download Links

by Georges Gonthier , Martín Abadi , Jean-Jacques Lévy
Citations:53 - 0 self

Documents Related by Co-Citation

97 The Geometry of Optimal Lambda Reduction – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
119 An algorithm for optimal lambda calculus reduction – John Lamping - 1990
163 Interaction nets – Y Lafont - 1990
101 Geometry of interaction I: Interpretation of system f – J-Y Girard - 1989
134 The structure of multiplicatives – Vincent Danos, Laurent Regnier - 1989
106 Réductions Correctes et Optimales dans le Lambda Calcul, Thèse de Doctorat d’Etat – J-J Lévy - 1978
131 A game semantics for linear logic – A Blass
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
90 Decision Problems for Propositional Linear Logic – Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar - 1990
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
205 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
24 programming in linear logic is NP-complete – Horn - 1992
74 The optimal implementation of functional programming languages, in: Cambridge Tracts in Theoretical – A Asperti, S Guerrini - 1998
52 Lambda-calcul et réseaux – Laurent Regnier - 1992
10 Some results on the interpretation of *-calculus in operator algebras – P Malacaria, L Regnier - 1991
78 Optimal reductions in the lambda-calculus – J-J Lévy - 1980