A General Theory of Sharing Graphs (1998)

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

Active Bibliography

Sharing Implementations of Graph Rewriting Systems – Stefano Guerrini - 2004
11 Coherence for sharing proofnets – Stefano Guerrini, Simone Martini, Andrea Masini - 1996
19 Interaction Systems II: The Practice of Optimal Reductions – Andrea Asperti, Cosimo Laneve - 1994
2 Light logics and optimal reduction: Completeness and complexity. Extended Version. Available at http://www.arxiv.org/ abs/0704.2448 – Patrick Baillot, Ugo Dal Lago - 2007
Abstract – Ugo Dal Lago, Patrick Baillot - 2004
19 The Bologna Optimal Higher-order Machine – Andrea Asperti, Cecilia Giovannetti, Andrea Naletto, Piazza Porta, S. Donato - 1996
Modal Logic, Linear Logic, Optimal Lambda-Reduction – Stefano Guerrini, Simone Martini, Andrea Masini
Sharing-Graphs, Sharing-Morphisms, and (Optimal) – Λ-graph Reductions, Stefano Guerrini
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003