0,5
Table of n, a(n) for n=0..18.
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.
Sequence in context: A238312 A121268 A101173 * A005246 A116406 A354540
Adjacent sequences: A294448 A294449 A294450 * A294452 A294453 A294454
nonn,more
N. J. A. Sloane, Nov 22 2017
approved