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:
Theory and Practice of Logic Programming
Rok:
2018

Strony:
97-119

Tom (seria wydawnicza):
18(1)

Numer DOI:
doi:10.1017/S147106841700045X

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