A general theory of sharing graphs

DOI10.1016/S0304-3975(99)00050-XzbMath0954.68037OpenAlexW2131083969MaRDI QIDQ1575875

Stefano Guerrini

Publication date: 23 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00050-x

zbMATH Keywords

lambda-calculussharing graphssharing graph machine

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items

Resource operators for \(\lambda\)-calculus ⋮ Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) ⋮ Coherence for sharing proof-nets ⋮ Light logics and optimal reduction: completeness and complexity ⋮ Proof nets, garbage, and computations