Combinatorics of λ-terms: a natural approach
Tytuł:
Combinatorics of λ-terms: a natural approach
Czasopismo:
Rok:
2017
Strony:
2611–2630
Tom (seria wydawnicza):
Volume 27, Issue 8
Numer DOI:
https://doi.org/10.1093/logcom/exx018
Link:
https://academic.oup.com/logcom/article-abstract/doi/10.1093/logcom/exx018/3867053/Combinatorics-of-lambda-terms-a-natural-approach