Asymptotically almost all λ-terms are strongly normalizing

Tytuł:
Asymptotically almost all λ-terms are strongly normalizing
Czasopismo:
Rok:
2013

Strony:
1-30

Tom (seria wydawnicza):
9 (1:02)

Link:
http://www.lmcs-online.org/ojs/viewarticle.php?id=753&layout=abstract