Counting and generating lambda terms
Tytuł:
Counting and generating lambda terms
Czasopismo:
Rok:
2013
Strony:
594-628
Tom (seria wydawnicza):
23(5)
Numer DOI:
10.1017/S0956796813000178
Link:
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9060499&fulltextType=RA&fileId=S0956796813000178