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,5

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.

Crossrefs

Cf. A281270, A275057.

Sequence in context: A182202 A116715 A117177 * A214610 A338792 A221720

Adjacent sequences: A287138 A287139 A287140 * A287142 A287143 A287144

Keyword

nonn

Author

Pierre Lescanne, May 20 2017

Status

approved