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
1 Proof Nets and the λ-calculus – Stefano Guerrini - 2004
4 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