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.

A236405 Number of closed typable lambda terms of size n with size 0 for the variables.

Table of values

n a(n)
0 0
1 0
2 0
3 0
4 1
5 0
6 1
7 1
8 1
9 1
10 5
11 4
12 9
13 13
14 23
15 29
16 67
17 94
18 179
19 285
20 503
21 795
22 1503
23 2469
24 4457
25 7624
26 13475
27 23027
28 41437
29 72165
30 128905
31 227510
32 405301
33 715078
34 1280127
35 2279393
36 4086591
37 7316698
38 13139958
39 23551957
40 42383667
41 76278547
42 137609116
43 248447221
44 449201368
45 812315229
46 1470997501

List of values

[0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 5, 4, 9, 13, 23, 29, 67, 94, 179, 285, 503, 795, 1503, 2469, 4457, 7624, 13475, 23027, 41437, 72165, 128905, 227510, 405301, 715078, 1280127, 2279393, 4086591, 7316698, 13139958, 23551957, 42383667, 76278547, 137609116, 248447221, 449201368, 812315229, 1470997501]