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.

A224345 Number of closed normal forms of size n in lambda calculus with size 0 for the variables.

Table of values

n a(n)
1 1
2 3
3 11
4 53
5 323
6 2359
7 19877
8 188591
9 1981963
10 22795849
11 284285351
12 3815293199
13 54762206985
14 836280215979
15 13527449608779
16 230894574439485
17 4144741143359355
18 78017419806432567
19 1535903379571939981
20 31550210953904250759

List of values

[1, 3, 11, 53, 323, 2359, 19877, 188591, 1981963, 22795849, 284285351, 3815293199, 54762206985, 836280215979, 13527449608779, 230894574439485, 4144741143359355, 78017419806432567, 1535903379571939981, 31550210953904250759]

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

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