This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A236405 #18 Aug 28 2016 10:59:04 %S A236405 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 A236405 4457,7624,13475,23027,41437,72165,128905,227510,405301,715078, %U A236405 1280127,2279393,4086591,7316698,13139958,23551957,42383667,76278547,137609116,248447221,449201368,812315229,1470997501 %N A236405 Number of closed typable lambda terms of size n with size 0 for the variables. %C A236405 For definition see Appendix A of Grygiel and Lescanne, arXiv 2014. %D A236405 Katarzyna Grygiel, Pierre Lescanne. Counting and Generating Terms in the Binary Lambda Calculus (Extended version). 2015. <ensl-01229794> %H A236405 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 A236405 Cf. A114851, A114852, A236393. %K A236405 nonn %O A236405 0,11 %A A236405 _N. J. A. Sloane_, Jan 31 2014 %E A236405 Name clarified by _Pierre Lescanne_, Jul 13 2016