On the likelihood of normalisation in combinatory logic

Tytuł:
On the likelihood of normalisation in combinatory logic
Czasopismo:
Rok:
2017

Strony:
1-19

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