Processes, Terms and Cycles: Steps on the Road to Infinity
From MaRDI portal
Publication:5898156
DOI10.1007/11601548zbMath1171.68512MaRDI QIDQ5898156
Fer-Jan de Vries, Richard Kennaway, Paula G.Severi, Ronan Sleep
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
Related Items
Applications of infinitary lambda calculus, On Normalisation of Infinitary Combinatory Reduction Systems, Normalization of Infinite Terms, Comparing Böhm-Like Trees