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.

A272794 The numbers of closed simply typable lambda terms of natural size n.

Table of values

n a(n)
0 0
1 0
2 1
3 1
4 2
5 5
6 13
7 27
8 74
9 198
10 508
11 1371
12 3809
13 10477
14 29116
15 82419
16 233748
17 666201
18 1914668
19 5528622
20 16019330
21 46642245
22 136326126
23 399652720
24 1175422931
25 3467251920
26 10258152021

List of values

[0, 0, 1, 1, 2, 5, 13, 27, 74, 198, 508, 1371, 3809, 10477, 29116, 82419, 233748, 666201, 1914668, 5528622, 16019330, 46642245, 136326126, 399652720, 1175422931, 3467251920, 10258152021]