The Geometry of Optimal Lambda Reduction (1992)

Cached

Download Links

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

Documents Related by Co-Citation

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
53 Linear Logic Without Boxes – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
25 Optimal interpreters for lambda-calculus based functional programming languages – V K Kathail - 1990
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
616 Light Linear Logic – Jean-yves Girard
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
78 Optimal reductions in the lambda-calculus – J-J Lévy - 1980
42 On laziness and optimality in lambda interpreters: Tools for specification and analysis – John Field - 1990
164 A new constructive logic: Classical logic – J-Y Girard - 1991
32 Geometry of interaction II: deadlock-free algorithms – J Y Girard
131 A game semantics for linear logic – A Blass
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
106 Réductions Correctes et Optimales dans le Lambda Calcul, Thèse de Doctorat d’Etat – J-J Lévy - 1978
44 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992
10 Some results on the interpretation of *-calculus in operator algebras – P Malacaria, L Regnier - 1991
30 Constant-Only Multiplicative Linear Logic is NP-Complete – Patrick Lincoln, Timothy Winkler - 1992
100 Geometry of Interaction V – J-Y Girard - 2011