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.

A259356 Triangle T(n,k) read by rows: T(n,k) is the number of closed lambda-terms of size n with size 0 for the variables and k abstractions.

Table of values

n a(n)
0 0
1 0
2 1
3 0
4 1
5 2
6 0
7 2
8 9
9 3
10 0
11 5
12 38
13 35
14 4
15 0
16 14
17 181
18 284
19 95
20 5
21 0
22 42
23 938
24 2225
25 1320
26 210
27 6
28 0
29 132
30 5210
31 17816
32 15810
33 4596
34 406
35 7

List of values

[0, 0, 1, 0, 1, 2, 0, 2, 9, 3, 0, 5, 38, 35, 4, 0, 14, 181, 284, 95, 5, 0, 42, 938, 2225, 1320, 210, 6, 0, 132, 5210, 17816, 15810, 4596, 406, 7]