On the dynamics of sharing graphs

DOI10.1007/3-540-63165-8_183zbMath1401.68029OpenAlexW2105992717MaRDI QIDQ4571958

Andrea Asperti, Cosimo Laneve

Publication date: 4 July 2018

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63165-8_183

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Functional programming and lambda calculus (68N18)

Related Items (1)

(Optimal) duplication is not elementary recursive

Cites Work

• Paths, computations and labels in the \(\lambda\)-calculus
• Reversible, irreversible and optimal \(\lambda\)-machines
• Optimality and inefficiency

This page was built for publication: On the dynamics of sharing graphs