A114851 - cp's OEIS frontend

A114851 Number of 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	1
3	1
4	2
5	2
6	4
7	5
8	10
9	14
10	27
11	41
12	78
13	126
14	237
15	399
16	745
17	1292
18	2404
19	4259
20	7915
21	14242
22	26477
23	48197
24	89721
25	164766
26	307294
27	568191
28	1061969
29	1974266
30	3698247
31	6905523
32	12964449
33	24295796
34	45711211
35	85926575
36	161996298
37	305314162
38	576707409
39	1089395667

[0, 0, 1, 1, 2, 2, 4, 5, 10, 14, 27, 41, 78, 126, 237, 399, 745, 1292, 2404, 4259, 7915, 14242, 26477, 48197, 89721, 164766, 307294, 568191, 1061969, 1974266, 3698247, 6905523, 12964449, 24295796, 45711211, 85926575, 161996298, 305314162, 576707409, 1089395667]

cp's OEIS Frontend

A114851 Number of 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