On global dynamics of optimal graph reduction

DOI10.1145/258948.258966zbMath1369.68108OpenAlexW2078807176MaRDI QIDQ5348875

Julia L. Lawall, Harry G. Mairson

Publication date: 21 August 2017

Published in: Proceedings of the second ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/258948.258966

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

(Optimal) duplication is not elementary recursive ⋮ The weak lambda calculus as a reasonable machine ⋮ Three Syntactic Theories for Combinatory Graph Reduction ⋮ Parallel beta reduction is not elementary recursive

This page was built for publication: On global dynamics of optimal graph reduction