|
%I
%S 0,0,1,1,2,3,7,11,25,52,110,241,537,1219,2767,6439,14945,35253,83214
%N Number of simply-typed normal forms of lambda-terms of size n.
%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.
%K nonn,more
%O 0,5
%A _N. J. A. Sloane_, Nov 22 2017
|
