login
A294451
Number of simply-typed normal forms of lambda-terms of size n.
0
0, 0, 1, 1, 2, 3, 7, 11, 25, 52, 110, 241, 537, 1219, 2767, 6439, 14945, 35253, 83214
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
Sequence in context: A238312 A121268 A101173 * A005246 A116406 A354540
KEYWORD
nonn,more
AUTHOR
N. J. A. Sloane, Nov 22 2017
STATUS
approved