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.

A294450 The numbers of plain simply typable lambda terms of natural size n.

Table of values

n a(n)
0 0
1 1
2 2
3 3
4 8
5 17
6 42
7 106
8 287
9 747
10 2069
11 5732
12 16012
13 45283
14 129232
15 370761
16 1069972

List of values

[0, 1, 2, 3, 8, 17, 42, 106, 287, 747, 2069, 5732, 16012, 45283, 129232, 370761, 1069972]