A236405 Number of closed typable lambda terms of size n with size 0 for the variables.

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

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: A338502 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