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.

A267827 Number of closed indecomposable linear lambda terms with 2n+1 applications and abstractions.

Table of values

n a(n)
0 1
1 2
2 20
3 352
4 8624
5 266784
6 9896448
7 426577920
8 20918138624
9 1149216540160
10 69911382901760
11 4665553152081920
12 338942971881472000
13 26631920159494995968
14 2250690001888540950528
15 203595258621775065120768
16 19629810220331494121865216

List of values

[1, 2, 20, 352, 8624, 266784, 9896448, 426577920, 20918138624, 1149216540160, 69911382901760, 4665553152081920, 338942971881472000, 26631920159494995968, 2250690001888540950528, 203595258621775065120768, 19629810220331494121865216]

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.