Number of closed lambda-terms of size n with at most 3 free de Bruijn indices.
A220897
Number of closed lambda-terms of size n with at most 3 free de Bruijn indices.
Terms
- a(0) =3a(1) =13a(2) =99a(3) =962a(4) =10732a(5) =131715a(6) =1741813a(7) =24537945a(8) =365779679a(9) =5744911157a(10) =94786034723
External references
- oeis: A220897