A287141 Numbers of closed affine (a.k.a. BCK) lambda terms of natural size n.
0, 0, 1, 1, 2, 5, 12, 25, 64, 166, 405, 1050, 2763, 7239, 19190, 51457, 138538, 374972, 1020943, 2792183, 7666358, 21126905, 58422650, 162052566, 450742451, 1256974690, 3513731861, 9843728012, 27633400879, 77721141911, 218984204904, 618021576627, 1746906189740, 4945026080426, 14017220713131
Offset: 0
Keywords
Links
- Pierre Lescanne, Table of n, a(n) for n = 0..100
- Pierre Lescanne, Quantitative aspects of linear and affine closed lambda term, arXiv:1702.03085 [cs.DM], 2017.