Number of distinct functions from a set with n^n elements to itself that can be defined naturally (in n) by typed lambda-calculus expressions.

A065500

Number of distinct functions from a set with n^n elements to itself that can be defined naturally (in n) by typed lambda-calculus expressions.

Terms

    a(0) =1a(1) =1a(2) =3a(3) =8a(4) =15a(5) =64a(6) =65a(7) =426a(8) =847a(9) =2528a(10) =2529a(11) =27730a(12) =27731a(13) =360372a(14) =360373a(15) =360374a(16) =720735a(17) =12252256a(18) =12252257a(19) =232792578a(20) =232792579a(21) =232792580a(22) =232792581a(23) =5354228902a(24) =5354228903a(25) =26771144424a(26) =26771144425a(27) =80313433226

External references