Processes, Terms and Cycles: Steps on the Road to Infinity
From MaRDI portal
Publication:5898167
DOI10.1007/11601548zbMath1171.68510OpenAlexW2234185834MaRDI QIDQ5898167
John Glauert, Delia Kesner, Zurab Khasidashvili
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
Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility ⋮ Pure pattern calculus à la de Bruijn ⋮ Infinitary combinatory reduction systems ⋮ On the confluence of lambda-calculus with conditional rewriting
Uses Software