login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A236405 Number of closed typable lambda terms of size n with size 0 for the variables. 3
0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 5, 4, 9, 13, 23, 29, 67, 94, 179, 285, 503, 795, 1503, 2469, 4457, 7624, 13475, 23027, 41437, 72165, 128905, 227510, 405301, 715078, 1280127, 2279393, 4086591, 7316698, 13139958, 23551957, 42383667, 76278547, 137609116, 248447221, 449201368, 812315229, 1470997501 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,11

COMMENTS

For definition see Appendix A of Grygiel and Lescanne, arXiv 2014.

REFERENCES

Katarzyna Grygiel, Pierre Lescanne. Counting and Generating Terms in the Binary Lambda Calculus (Extended version). 2015. <ensl-01229794>

LINKS

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

K. Grygiel, P. Lescanne, Counting terms in the binary lambda calculus, arXiv preprint arXiv:1401.0379 [cs.LO], 2014.

CROSSREFS

Cf. A114851, A114852, A236393.

Sequence in context: A234356 A102081 A068397 * A022344 A046588 A086654

Adjacent sequences:  A236402 A236403 A236404 * A236406 A236407 A236408

KEYWORD

nonn

AUTHOR

N. J. A. Sloane, Jan 31 2014

EXTENSIONS

Name clarified by Pierre Lescanne, Jul 13 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 October 15 03:28 EDT 2019. Contains 328025 sequences. (Running on oeis4.)