Triangle T(n,k) read by rows: T(n,k) is the number of closed lambda-terms of size n with size 0 for the variables and k abstractions.

A259356

Triangle T(n,k) read by rows: T(n,k) is the number of closed lambda-terms of size n with size 0 for the variables and k abstractions.

Terms

    a(0) =0a(1) =0a(2) =1a(3) =0a(4) =1a(5) =2a(6) =0a(7) =2a(8) =9a(9) =3a(10) =0a(11) =5a(12) =38a(13) =35a(14) =4a(15) =0a(16) =14a(17) =181a(18) =284a(19) =95a(20) =5a(21) =0a(22) =42a(23) =938a(24) =2225a(25) =1320a(26) =210a(27) =6a(28) =0a(29) =132

External references