A195691 - cp's OEIS frontend

A195691 The number of closed normal form lambda calculus terms of size n, where size(lambda x.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 (corresponding to a binary encoding).

n	a(n)
0	0
1	0
2	0
3	0
4	1
5	0
6	1
7	1
8	2
9	1
10	4
11	4
12	8
13	7
14	18
15	23
16	42
17	50
18	105
19	153
20	271
21	385
22	721
23	1135
24	1992
25	3112
26	5535
27	9105
28	15916
29	26219
30	45815
31	77334
32	135029
33	229189
34	399498
35	685710
36	1198828
37	2070207
38	3619677
39	6286268
40	11024475
41	19241836
42	33795365
43	59197968
44	104234931

[0, 0, 0, 0, 1, 0, 1, 1, 2, 1, 4, 4, 8, 7, 18, 23, 42, 50, 105, 153, 271, 385, 721, 1135, 1992, 3112, 5535, 9105, 15916, 26219, 45815, 77334, 135029, 229189, 399498, 685710, 1198828, 2070207, 3619677, 6286268, 11024475, 19241836, 33795365, 59197968, 104234931]

cp's OEIS Frontend

A195691 The number of closed normal form lambda calculus terms of size n, where size(lambda x.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 (corresponding to a binary encoding).

Table of values

List of values