Processes, Terms and Cycles: Steps on the Road to Infinity

DOI10.1007/11601548zbMath1171.03309OpenAlexW2234185834MaRDI QIDQ5898152

Jean-Jacques Levy, Tomasz Blanc, Luc Maranget

Publication date: 13 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11601548

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (7)

Node Replication: Theory And Practice ⋮ Spinal atomic \(\lambda\)-calculus ⋮ The weak lambda calculus as a reasonable machine ⋮ The spirit of node replication ⋮ Unnamed Item ⋮ A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine ⋮ Minimality in a Linear Calculus with Iteration

This page was built for publication: Processes, Terms and Cycles: Steps on the Road to Infinity