A236393 - OEIS

The OEIS is supported by the many generous donors to the OEIS Foundation.

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

Other ways to Give

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

(list; graph; refs; listen; history; text; internal format)

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