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

0, 0, 1, 1, 2, 2, 3, 5, 8, 13, 22, 36, 58, 103, 177, 307, 535, 949, 1645, 2936, 5207, 9330, 16613, 29921, 53588, 96808, 174443, 316267, 572092, 1040596, 1888505, 3441755, 6268500, 11449522, 20902152, 38256759, 70004696, 128336318, 235302612, 432050796, 793513690, 1459062947, 2683714350

Offset: 0

Author

N. J. A. Sloane, Jan 27 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

• Katarzyna Grygiel, Pierre Lescanne, Counting and generating lambda terms, arXiv:1210.2610 [cs.LO], 2012.
• Katarzyna Grygiel, Pierre Lescanne, Counting Terms in the Binary Lambda Calculus, arXiv:1401.0379 [cs.LO], 2014.
• Pierre Lescanne, An exercise on streams: convergence acceleration, arXiv preprint arXiv:1312.4917 [cs.NA], 2013.
• P. Lescanne, Boltzmann samplers for random generation of lambda terms, arXiv preprint arXiv:1404.3875 [cs.DS], 2014.

Crossrefs

Cf. A114851, A114852, A236405.

Extensions

Name clarified by Pierre Lescanne, Jul 13 2016