The OEIS is supported by the many generous donors to the OEIS Foundation.
%I #18 Aug 28 2016 10:59:04
%S 0,0,0,0,1,0,1,1,1,1,5,4,9,13,23,29,67,94,179,285,503,795,1503,2469,
%T 4457,7624,13475,23027,41437,72165,128905,227510,405301,715078,
%U 1280127,2279393,4086591,7316698,13139958,23551957,42383667,76278547,137609116,248447221,449201368,812315229,1470997501
%N Number of closed 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 K. Grygiel, P. Lescanne, <a href="http://arxiv.org/abs/1401.0379">Counting terms in the binary lambda calculus</a>, arXiv preprint arXiv:1401.0379 [cs.LO], 2014.
%Y Cf. A114851, A114852, A236393.
%K nonn
%O 0,11
%A _N. J. A. Sloane_, Jan 31 2014
%E Name clarified by _Pierre Lescanne_, Jul 13 2016