Number of simply-typed normal forms of lambda-terms of size n.
A294451
Number of simply-typed normal forms of lambda-terms of size n.
Terms
- a(0) =0a(1) =0a(2) =1a(3) =1a(4) =2a(5) =3a(6) =7a(7) =11a(8) =25a(9) =52a(10) =110a(11) =241a(12) =537a(13) =1219a(14) =2767a(15) =6439a(16) =14945a(17) =35253a(18) =83214
External references
- oeis: A294451