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.

A220471 Number of closed simply typable lambda-terms of size n with size 0 for the variables.

Table of values

n a(n)
1 1
2 2
3 9
4 40
5 238
6 1564
7 11807
8 98529
9 904318
10 9006364
11 96709332
12 1110858977
13 13581942434
14 175844515544

List of values

[1, 2, 9, 40, 238, 1564, 11807, 98529, 904318, 9006364, 96709332, 1110858977, 13581942434, 175844515544]