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.

A268225 Number of types of lambda-terms of term size n.

Table of values

n a(n)
1 1
2 1
3 5
4 16
5 55
6 235
7 1102
8 5757
9 33251

List of values

[1, 1, 5, 16, 55, 235, 1102, 5757, 33251]