A simple proof of the undecidability of strong normalisation
From MaRDI portal
Publication:4405686
DOI10.1017/S096012950200381XzbMath1029.03007OpenAlexW2152333061MaRDI QIDQ4405686
Publication date: 23 June 2003
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s096012950200381x
Related Items
This page was built for publication: A simple proof of the undecidability of strong normalisation