%I #15 May 24 2017 02:34:52
%S 1,3,13,76,542,4493,42131,439031,5020105,62382279,835980065,
%T 12004984120,183754242626,2984264710781,51220227153987,
%U 925859588215096,17571969962025822,349210371834021295,7249185099929421649,156847124089924073770,3530125495029323284404
%N Number of closed lambda-terms of size n with at most 1 free de Bruijn index.
%H Vincenzo Librandi, <a href="/A220895/b220895.txt">Table of n, a(n) for n = 0..200</a>
%H Katarzyna Grygiel and Pierre Lescanne, <a href="http://arxiv.org/abs/1210.2610">Counting and generating lambda-terms</a>, arXiv preprint arXiv:1210.2610 [cs.LO], 2012.
%F Grygiel and Lescanne give a recurrence.
%t T[0, m_] := m; T[n_, m_] := T[n, m] = T[n-1, m+1] + Sum[T[i, m] T[n-i-1, m], {i, 0, n-1}];
%t a[n_] := T[n, 1];
%t Table[a[n], {n, 0, 14}] (* _Jean-François Alcover_, May 23 2017 *)
%K nonn
%O 0,2
%A _N. J. A. Sloane_, Dec 31 2012
%E More terms from _Alois P. Heinz_, May 23 2017
|