%I #10 Nov 23 2017 12:27:36
%S 0,1,2,3,8,17,42,106,287,747,2069,5732,16012,45283,129232,370761,
%T 1069972
%N The numbers of plain simply typable lambda terms of natural size n.
%H 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 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 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 Cf. A105633, A220471, A236393, A236405, A272794.
%K nonn,more
%O 0,3
%A _N. J. A. Sloane_, Nov 22 2017
|