Probabilistic approach to the lambda definability for fourth order types

Tytuł:
Probabilistic approach to the lambda definability for fourth order types
Czasopismo:
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Rok:
2005

Strony:
41-54

Link:
http://www.sciencedirect.com/science/article/pii/S157106610505125X