The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter

DOI10.4230/LIPIcs.CSL.2017.32zbMath1440.68044arXiv1703.10027OpenAlexW2962792150MaRDI QIDQ5111200

Dan R. Ghica, Koko Muroya

Publication date: 26 May 2020

Full work available at URL: https://arxiv.org/abs/1703.10027

zbMATH Keywords

cost analysisgeometry of interactioncall-by-need reduction

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Unnamed Item ⋮ A Fresh Look at the λ-Calculus

This page was built for publication: The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter