Number of closed normal forms of size n in lambda calculus with size 0 for the variables.
A224345
Number of closed normal forms of size n in lambda calculus with size 0 for the variables.
Terms
- a(0) =1a(1) =3a(2) =11a(3) =53a(4) =323a(5) =2359a(6) =19877a(7) =188591a(8) =1981963a(9) =22795849a(10) =284285351a(11) =3815293199a(12) =54762206985a(13) =836280215979
External references
- oeis: A224345