Combinatorics of λ-terms: a natural approach

Tytuł:
Combinatorics of λ-terms: a natural approach
Czasopismo:
Rok:
2017

Strony:
1-20

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