Number of closed lambda-terms of size n with at most 1 free de Bruijn index.
A220895
Number of closed lambda-terms of size n with at most 1 free de Bruijn index.
Terms
- a(0) =1a(1) =3a(2) =13a(3) =76a(4) =542a(5) =4493a(6) =42131a(7) =439031a(8) =5020105a(9) =62382279a(10) =835980065a(11) =12004984120a(12) =183754242626
External references
- oeis: A220895