OFFSET
0,5
LINKS
Maciej Bendkowski, K. Grygiel, P. Tarau, Random generation of closed simply-typed lambda-terms: a synergy between logic programming and Boltzmann samplers, arXiv preprint arXiv:1612.07682 [cs.LO], 2016-2017.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
N. J. A. Sloane, Nov 22 2017
STATUS
approved