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

DOI10.1007/11601548zbMath1171.68512OpenAlexW2234185834MaRDI QIDQ5898156

Ronan Sleep, Richard Kennaway, Fer-Jan de Vries, Paula G.Severi

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

On Normalisation of Infinitary Combinatory Reduction Systems ⋮ Normalization of Infinite Terms ⋮ Unnamed Item ⋮ Comparing Böhm-Like Trees ⋮ Applications of infinitary lambda calculus