login
A287141
Numbers of closed affine (a.k.a. BCK) lambda terms of natural size n.
2
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,5
LINKS
Pierre Lescanne, Quantitative aspects of linear and affine closed lambda term, arXiv:1702.03085 [cs.DM], 2017.
CROSSREFS
Sequence in context: A182202 A116715 A117177 * A214610 A338792 A221720
KEYWORD
nonn
AUTHOR
Pierre Lescanne, May 20 2017
STATUS
approved