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,5

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..42.

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.

Sequence in context: A277218 A293643 A022863 * A350504 A039822 A025591

Adjacent sequences: A236390 A236391 A236392 * A236394 A236395 A236396

Keyword

nonn

Author

N. J. A. Sloane, Jan 27 2014

Extensions

Name clarified by Pierre Lescanne, Jul 13 2016

Status

approved