A General Theory of Sharing Graphs (1998)

Cached

Download Links

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

Active Bibliography

Sharing Implementations of Graph Rewriting Systems – Stefano Guerrini - 2004
10 Coherence for sharing proofnets – Stefano Guerrini, Simone Martini, Andrea Masini - 1996
18 Interaction Systems II: The Practice of Optimal Reductions – Andrea Asperti, Cosimo Laneve - 1994
Modal Logic, Linear Logic, Optimal Lambda-Reduction – Stefano Guerrini, Simone Martini, Andrea Masini
7 Linear Logic, Comonads and Optimal Reductions – Andrea Asperti - 1993
7 Proof nets, Garbage, and Computations – Stefano Guerrini, Simone Martini, Andrea Masini - 1997
7 (Optimal) duplication is not elementary recursive – Andrea Asperti, Paolo Coppola, Simone Martini - 2000
7 Encoding Linear Logic with Interaction Combinators – Ian Mackie - 2002
8 Types, potency, and idempotency: why nonlinearity and amnesia make a type system work – Peter Møller Neergaard, Harry G. Mairson - 2004
Optimizing Optimal Lambda-Calculus Implementations – Andrea Asperti - 1994
3 Safe Operators: Brackets Closed Forever - Optimizing optimal lambda-calculus implementations – Andrea Asperti, Juliusz Chroboczek - 1997
4 Interaction Systems – Andrea Asperti, Cosimo Laneve - 1993
A Proof of the Reducibility of General Port Graph Grammars to Simple Port Graph Grammars – Charles Stewart - 2002
39 Interaction Systems I: The theory of optimal reductions – Andrea Asperti, Cosimo Laneve - 1994
3 Sharing Continuations: Proofnets for Languages With Explicit Control – Julia L. Lawall , Harry G. Mairson
7 On Global Dynamics of Optimal Graph Reduction – Julia L. Lawall, Harry G. Mairson - 1997
10 From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple – Harry G. Mairson - 2002
1 Rank Bounded Intersection: Types, Potency, and Idempotency – Peter Møller Neergaard, Harry G. Mairson - 2003
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993