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.

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

Table of values

n a(n)
0 0
1 0
2 1
3 1
4 2
5 2
6 3
7 5
8 8
9 13
10 22
11 36
12 58
13 103
14 177
15 307
16 535
17 949
18 1645
19 2936
20 5207
21 9330
22 16613
23 29921
24 53588
25 96808
26 174443
27 316267
28 572092
29 1040596
30 1888505
31 3441755
32 6268500
33 11449522
34 20902152
35 38256759
36 70004696
37 128336318
38 235302612
39 432050796
40 793513690
41 1459062947
42 2683714350

List of values

[0, 0, 1, 1, 2, 2, 3, 5, 8, 13, 22, 36, 58, 103, 177, 307, 535, 949, 1645, 2936, 5207, 9330, 16613, 29921, 53588, 96808, 174443, 316267, 572092, 1040596, 1888505, 3441755, 6268500, 11449522, 20902152, 38256759, 70004696, 128336318, 235302612, 432050796, 793513690, 1459062947, 2683714350]