A268225 Number of types of lambda-terms of term size n.

1, 1, 5, 16, 55, 235, 1102, 5757, 33251

Offset

1,3

Links

Table of n, a(n) for n=1..9.

P. Tarau, A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations, arXiv preprint arXiv:1507.06944 [cs.LO], 2015.

Crossrefs

Cf. A220471.

Sequence in context: A098912 A299685 A363449 * A120343 A301280 A153366

Adjacent sequences: A268222 A268223 A268224 * A268226 A268227 A268228

Keyword

nonn,more

Author

N. J. A. Sloane, Jan 30 2016

Status

approved