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 A294450 #10 Nov 23 2017 12:27:36 %S A294450 0,1,2,3,8,17,42,106,287,747,2069,5732,16012,45283,129232,370761, %T A294450 1069972 %N A294450 The numbers of plain simply typable lambda terms of natural size n. %H A294450 Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc, <a href="https://arxiv.org/abs/1506.02367">A natural counting of Lambda terms</a>, arXiv:1506.02367 [cs.LO], 2015. %H A294450 Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc, <a href="http://www.sofsem.cz/sofsem16/files/presentations/Regular/Bendkowski.pdf">A Natural Counting of Lambda Terms</a>, SOFSEM 2016: 183-194. %H A294450 Maciej Bendkowski, K. Grygiel, P. Tarau, <a href="https://arxiv.org/abs/1612.07682">Random generation of closed simply-typed lambda-terms: a synergy between logic programming and Boltzmann samplers</a>, arXiv preprint arXiv:1612.07682 [cs.LO], 2016-2017. %Y A294450 Cf. A105633, A220471, A236393, A236405, A272794. %K A294450 nonn,more %O A294450 0,3 %A A294450 _N. J. A. Sloane_, Nov 22 2017