Counting and generating terms in the binary lambda calculus
Tytuł:
Counting and generating terms in the binary lambda calculus
Czasopismo:
Rok:
2015
Strony:
25
Tom (seria wydawnicza):
25
Numer DOI:
10.1017/S0956796815000271