Closed simply-typed lambda terms with at most one free variable.
A268224
Closed simply-typed lambda terms with at most one free variable.
Terms
- a(0) =3a(1) =10a(2) =45a(3) =256a(4) =1688a(5) =12671a(6) =105743a(7) =969032a(8) =9639606
External references
- oeis: A268224