A294450 The numbers of plain simply typable lambda terms of natural size n.

0, 1, 2, 3, 8, 17, 42, 106, 287, 747, 2069, 5732, 16012, 45283, 129232, 370761, 1069972

Offset

0,3

Links

Table of n, a(n) for n=0..16.

Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc, A natural counting of Lambda terms, arXiv:1506.02367 [cs.LO], 2015.

Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc, A Natural Counting of Lambda Terms, SOFSEM 2016: 183-194.

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

Cf. A105633, A220471, A236393, A236405, A272794.

Sequence in context: A219788 A099965 A319566 * A345243 A292852 A148014

Adjacent sequences: A294447 A294448 A294449 * A294451 A294452 A294453

Keyword

nonn,more

Author

N. J. A. Sloane, Nov 22 2017

Status

approved