Number of closed lambda-terms of size n with size 0 for the variables.
A220894
Number of closed lambda-terms of size n with size 0 for the variables.
Terms
- a(0) =0a(1) =1a(2) =3a(3) =14a(4) =82a(5) =579a(6) =4741a(7) =43977a(8) =454283a(9) =5159441a(10) =63782411a(11) =851368766a(12) =12188927818a(13) =186132043831
External references
- oeis: A220894