|
%I #9 Jan 31 2016 12:11:37
%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
|
