Boltzmann Samplers for Closed Simply-Typed Lambda Terms

Tytuł:
Boltzmann Samplers for Closed Simply-Typed Lambda Terms
Czasopismo:
Rok:
2017

Strony:
120-135

Tom (seria wydawnicza):
10137

Numer DOI:
10.1007/978-3-319-51676-9_8

Link:
http://link.springer.com/chapter/10.1007/978-3-319-51676-9_8