A294451 Number of simply-typed normal forms of lambda-terms of size n.

0, 0, 1, 1, 2, 3, 7, 11, 25, 52, 110, 241, 537, 1219, 2767, 6439, 14945, 35253, 83214

Offset

0,5

Links

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.

Crossrefs

Sequence in context: A238312 A121268 A101173 * A005246 A116406 A354540

Adjacent sequences: A294448 A294449 A294450 * A294452 A294453 A294454

Keyword

nonn,more

Author

N. J. A. Sloane, Nov 22 2017

Status

approved