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:
2018
Strony:
97-119
Tom (seria wydawnicza):
18(1)
Numer DOI:
doi:10.1017/S147106841700045X
Link:
http://dx.doi.org/10.1017/S147106841700045X