TY  - RPRT
TI  - Random generation of closed simply-typed $λ$-terms: a synergy between logic programming and Boltzmann samplers
AU  - Maciej Bendkowski
AU  - Katarzyna Grygiel
AU  - Paul Tarau
PY  - 2017
UR  - https://arxiv.org/abs/1612.07682
ID  - 1612.07682
ER  -