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

Author

N. J. A. Sloane, Jan 31 2014

Keywords

• nonn

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.

Links

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

Crossrefs

Cf. A114851, A114852, A236393.

Extensions

Name clarified by Pierre Lescanne, Jul 13 2016