On the likelihood of normalisation in combinatory logic
Tytuł:
On the likelihood of normalisation in combinatory logic
Czasopismo:
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