A333958 - cp's OEIS frontend

A333958 The number of closed lambda calculus terms of size n that have a normal form, where size(lambda M)=2+size(M), size(M N)=2+size(M)+size(N), and size(V)=1+i for a variable V bound by the i-th enclosing lambda.

n	a(n)
1	0
2	0
3	0
4	1
5	0
6	1
7	1
8	2
9	1
10	6
11	5
12	13
13	14
14	37
15	44
16	101
17	134
18	297
19	431
20	882
21	1361
22	2729
23	4405
24	8549
25	14311
26	27400
27	47101
28	89022
29	156080
30	293014
31	521730

[0, 0, 0, 1, 0, 1, 1, 2, 1, 6, 5, 13, 14, 37, 44, 101, 134, 297, 431, 882, 1361, 2729, 4405, 8549, 14311, 27400, 47101, 89022, 156080, 293014, 521730]

cp's OEIS Frontend

A333958 The number of closed lambda calculus terms of size n that have a normal form, where size(lambda M)=2+size(M), size(M N)=2+size(M)+size(N), and size(V)=1+i for a variable V bound by the i-th enclosing lambda.

Table of values

List of values