Linear Logic Without Boxes (1992)

Cached

Download Links

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

Active Bibliography

53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
100 The Geometry of Optimal Lambda Reduction – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
7 Linear Logic, Comonads and Optimal Reductions – Andrea Asperti - 1993
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 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
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
3 Safe Operators: Brackets Closed Forever - Optimizing optimal lambda-calculus implementations – Andrea Asperti, Juliusz Chroboczek - 1997