The Geometry of Optimal Lambda Reduction (1992)

Cached

Download Links

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

Active Bibliography

54 Linear Logic Without Boxes – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
7 Linear Logic, Comonads and Optimal Reductions – Andrea Asperti - 1993
40 Interaction Systems I: The theory of optimal reductions – Andrea Asperti, Cosimo Laneve - 1994
18 The Bologna Optimal Higher-order Machine – Andrea Asperti, Cecilia Giovannetti, Andrea Naletto, Piazza Porta, S. Donato - 1996
3 Safe Operators: Brackets Closed Forever - Optimizing optimal lambda-calculus implementations – Andrea Asperti, Juliusz Chroboczek - 1997
Optimizing Optimal Lambda-Calculus Implementations – Andrea Asperti - 1994
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
18 Optimality and Inefficiency : What Isn't a Cost Model of the Lambda Calculus? – Julia Lawall, Harry G. Mairson - 1996