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