This site is supported by donations to The OEIS Foundation.



(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


%S 0,0,1,1,2,2,3,5,8,13,22,36,58,103,177,307,535,949,1645,2936,5207,

%T 9330,16613,29921,53588,96808,174443,316267,572092,1040596,1888505,

%U 3441755,6268500,11449522,20902152,38256759,70004696,128336318,235302612,432050796,793513690,1459062947,2683714350

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

%C For definition see Appendix A of Grygiel and Lescanne, arXiv 2014.

%D Katarzyna Grygiel, Pierre Lescanne. Counting and Generating Terms in the Binary Lambda Calculus (Extended version). 2015. <ensl-01229794>

%H Katarzyna Grygiel, Pierre Lescanne, <a href="http://arxiv.org/abs/1210.2610">Counting and generating lambda terms</a>, arXiv:1210.2610 [cs.LO], 2012.

%H Katarzyna Grygiel, Pierre Lescanne, <a href="http://arxiv.org/abs/1401.0379">Counting Terms in the Binary Lambda Calculus</a>, arXiv:1401.0379 [cs.LO], 2014.

%H Pierre Lescanne, <a href="http://arxiv.org/abs/1312.4917">An exercise on streams: convergence acceleration</a>, arXiv preprint arXiv:1312.4917 [cs.NA], 2013.

%H P. Lescanne, <a href="http://arxiv.org/abs/1404.3875">Boltzmann samplers for random generation of lambda terms</a>, arXiv preprint arXiv:1404.3875 [cs.DS], 2014.

%Y Cf. A114851, A114852, A236405.

%K nonn

%O 0,5

%A _N. J. A. Sloane_, Jan 27 2014

%E Name clarified by _Pierre Lescanne_, Jul 13 2016

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.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 25 20:38 EDT 2019. Contains 321477 sequences. (Running on oeis4.)