On the likelihood of normalization in combinatory logic
From MaRDI portal
Publication:3133193
DOI10.1093/logcom/exx005zbMath1454.03022arXiv1607.04908OpenAlexW2592901442MaRDI QIDQ3133193
Marek Zaionc, Maciej Bendkowski, Katarzyna Grygiel
Publication date: 13 February 2018
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1607.04908
Related Items (6)
Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels ⋮ On the enumeration of closures and environments with an application to random generation ⋮ The combinator M and the Mockingbird lattice ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication: On the likelihood of normalization in combinatory logic
