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 A236393 #29 Aug 28 2016 11:02:51 %S A236393 0,0,1,1,2,2,3,5,8,13,22,36,58,103,177,307,535,949,1645,2936,5207, %T A236393 9330,16613,29921,53588,96808,174443,316267,572092,1040596,1888505, %U A236393 3441755,6268500,11449522,20902152,38256759,70004696,128336318,235302612,432050796,793513690,1459062947,2683714350 %N A236393 Number of typable lambda terms of size n with size 0 for the variables. %C A236393 For definition see Appendix A of Grygiel and Lescanne, arXiv 2014. %D A236393 Katarzyna Grygiel, Pierre Lescanne. Counting and Generating Terms in the Binary Lambda Calculus (Extended version). 2015. <ensl-01229794> %H A236393 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 A236393 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 A236393 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 A236393 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 A236393 Cf. A114851, A114852, A236405. %K A236393 nonn %O A236393 0,5 %A A236393 _N. J. A. Sloane_, Jan 27 2014 %E A236393 Name clarified by _Pierre Lescanne_, Jul 13 2016