login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A220895 Number of closed lambda-terms of size n with at most 1 free de Bruijn index. 3

%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

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 18 22:56 EDT 2024. Contains 370952 sequences. (Running on oeis4.)