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

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

Offset: 1

Author

N. J. A. Sloane, Jan 30 2016

Keywords

• nonn
• more

Links

• 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.