login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo

Please make a donation to keep the OEIS running. We are now in our 56th year. In the past year we added 10000 new sequences and reached almost 9000 citations (which often say "discovered thanks to the OEIS").
Other ways to donate

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A268225 Number of types of lambda-terms of term size n. 0
1, 1, 5, 16, 55, 235, 1102, 5757, 33251 (list; graph; refs; listen; history; text; internal format)
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: A089102 A098912 A299685 * A120343 A301280 A153366

Adjacent sequences:  A268222 A268223 A268224 * A268226 A268227 A268228

KEYWORD

nonn,more

AUTHOR

N. J. A. Sloane, Jan 30 2016

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified December 4 02:18 EST 2020. Contains 338921 sequences. (Running on oeis4.)