login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A236405 Number of closed typable lambda terms of size n with size 0 for the variables. 3

%I

%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

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 April 24 22:26 EDT 2019. Contains 322446 sequences. (Running on oeis4.)