A114852 - cp's OEIS frontend

A114852 The number of closed 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	6
11	5
12	13
13	14
14	37
15	44
16	101
17	134
18	298
19	431
20	883
21	1361
22	2736
23	4405
24	8574
25	14334
26	27465
27	47146
28	89270
29	156360
30	293840
31	522913
32	978447
33	1761907
34	3288605
35	5977863
36	11148652
37	20414058
38	38071898
39	70125402
40	130880047

[0, 0, 0, 0, 1, 0, 1, 1, 2, 1, 6, 5, 13, 14, 37, 44, 101, 134, 298, 431, 883, 1361, 2736, 4405, 8574, 14334, 27465, 47146, 89270, 156360, 293840, 522913, 978447, 1761907, 3288605, 5977863, 11148652, 20414058, 38071898, 70125402, 130880047]

cp's OEIS Frontend

A114852 The number of closed 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