%I

%S 3,10,45,256,1688,12671,105743,969032,9639606

%N Closed simply-typed lambda terms with at most one free variable.

%H P. Tarau, <a href="http://arxiv.org/abs/1507.06944">A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations</a>, arXiv preprint arXiv:1507.06944 [cs.LO], 2015.

%K nonn,more

%O 1,1

%A _N. J. A. Sloane_, Jan 30 2016