|
%I #29 Aug 28 2016 11:02:51
%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
|
