A General Theory of Sharing Graphs (1998)

Cached

Download Links

by Stefano Guerrini
Venue:Theoret. Comput. Sci
Citations:4 - 3 self

Documents Related by Co-Citation

6 logic, comonads and optimal reductions – Linear - 1995
53 Linear Logic Without Boxes – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
119 An algorithm for optimal lambda calculus reduction – John Lamping - 1990
101 Rductions correctes et optimales dans le lambda-calcul – J J Levy - 1978
74 The optimal implementation of functional programming languages, in: Cambridge Tracts in Theoretical – A Asperti, S Guerrini - 1998
4 Paths in the lambda-calculus - Three years of communications without understanding – A. Asperti, C. Laneve, V. Danos, L. Regnier - 1994
11 On the Fine Structure of the Exponential Rule – Simone Martini, Andrea Masini - 1993
18 Interaction Systems II: The Practice of Optimal Reductions – Andrea Asperti, Cosimo Laneve - 1994
10 Coherence for sharing proofnets – Stefano Guerrini, Simone Martini, Andrea Masini - 1996
7 Proof nets, Garbage, and Computations – Stefano Guerrini, Simone Martini, Andrea Masini - 1997
97 The Geometry of Optimal Lambda Reduction – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
78 Optimal reductions in the lambda-calculus – J-J Lévy - 1980
39 Interaction Systems I: The theory of optimal reductions – Andrea Asperti, Cosimo Laneve - 1994
163 Interaction nets – Y Lafont - 1990
2 Sequent reconstruction in LLM|A sweepline proof – Ban95 Richard Banach - 1995
1 Asperti and Cosimo Laneve. Interaction system II: The practice of optimal reductions – AL96 Andrea - 1996
1 Towards a geometry of interaction. Number 92 – Gir89 Jean-Yves Girard - 1989
1 Dipartimento di Informatica – report - 1996
52 Lambda-calcul et réseaux – Laurent Regnier - 1992