This site is supported by donations to The OEIS Foundation.

 Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A236393 Number of typable lambda terms of size n with size 0 for the variables. 4
 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. 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. Sequence in context: A277218 A293643 A022863 * A039822 A025591 A028409 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

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified October 16 13:08 EDT 2019. Contains 328062 sequences. (Running on oeis4.)