Random generation of closed simply-typed λ-terms: a synergy between logic programming and Boltzmann samplers

Tytuł:
Random generation of closed simply-typed λ-terms: a synergy between logic programming and Boltzmann samplers
Czasopismo:
Rok:
2017

Strony:
1-23

Numer DOI:
doi:10.1017/S147106841700045X

Link:
http://dx.doi.org/10.1017/S147106841700045X