Number of closed simply-typed normal forms of size n.

A289681

Number of closed simply-typed normal forms of size n.

Terms

    a(0) =1a(1) =2a(2) =6a(3) =23a(4) =108a(5) =618a(6) =4092a(7) =30413a(8) =252590a(9) =2297954a(10) =22640259a(11) =240084189a(12) =2721455329a(13) =32783910297

External references