On the likelihood of normalisation in combinatory logic

Tytuł:
On the likelihood of normalisation in combinatory logic
Czasopismo:
Journal of Logic and Computation
Rok:
2017

Strony:
2251–2269

Tom (seria wydawnicza):
Volume 27, Issue 7

Numer DOI:
10.1093/logcom/exx005

Link:
https://academic.oup.com/logcom/article/doi/10.1093/logcom/exx005/3056192/On-the-likelihood-of-normalization-in-combinatory