Triangle read by rows: T(n,k) = number of neutral planar lambda terms of size n with k free variables (n >= 0, 1 <= k <= n+1).

A246322

Triangle read by rows: T(n,k) = number of neutral planar lambda terms of size n with k free variables (n >= 0, 1 <= k <= n+1).

Terms

    a(0) =1a(1) =1a(2) =1a(3) =3a(4) =4a(5) =2a(6) =14a(7) =20a(8) =15a(9) =5a(10) =83a(11) =120a(12) =105a(13) =56a(14) =14a(15) =570a(16) =820a(17) =770a(18) =504a(19) =210a(20) =42a(21) =4318a(22) =6152a(23) =5985a(24) =4368a(25) =2310a(26) =792a(27) =132a(28) =35068a(29) =49448

External references