cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

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.

Table of values

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

List of values

[1, 1, 3, 8, 15, 64, 65, 426, 847, 2528, 2529, 27730, 27731, 360372, 360373, 360374, 720735, 12252256, 12252257, 232792578, 232792579, 232792580, 232792581, 5354228902, 5354228903, 26771144424, 26771144425, 80313433226]