Number of normal linear lambda terms of size n with no free variables.
A262301
Number of normal linear lambda terms of size n with no free variables.
Terms
- a(0) =1a(1) =3a(2) =26a(3) =367a(4) =7142a(5) =176766a(6) =5304356a(7) =186954535a(8) =7566084686a(9) =345664350778
External references
- oeis: A262301