@misc{indiciae7c61fb47170c,
  title = {Random generation of closed simply-typed \$λ\$-terms: a synergy between logic programming and Boltzmann samplers},
  author = {Maciej Bendkowski and Katarzyna Grygiel and Paul Tarau},
  year = {2017},
  url = {https://arxiv.org/abs/1612.07682},
  note = {Source identifier: 1612.07682}
}