Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction Sequence

From MaRDI portal
Publication:2988360

DOI10.1007/978-3-662-54458-7_4zbMath1486.68035OpenAlexW2963145380MaRDI QIDQ2988360

Naoki Kobayashi, Takeshi Tsukada, Ryoma Sin'ya, Kazuyuki Asada

Publication date: 19 May 2017

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

Full work available at URL: https://doi.org/10.1007/978-3-662-54458-7_4




Related Items (4)


Uses Software



Cites Work




This page was built for publication: Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction Sequence