login
Numbers of closed affine (a.k.a. BCK) lambda terms of natural size n.
2

%I #28 Dec 26 2021 23:34:15

%S 0,0,1,1,2,5,12,25,64,166,405,1050,2763,7239,19190,51457,138538,

%T 374972,1020943,2792183,7666358,21126905,58422650,162052566,450742451,

%U 1256974690,3513731861,9843728012,27633400879,77721141911,218984204904,618021576627,1746906189740,4945026080426,14017220713131

%N Numbers of closed affine (a.k.a. BCK) lambda terms of natural size n.

%H Pierre Lescanne, <a href="/A287141/b287141.txt">Table of n, a(n) for n = 0..100</a>

%H Pierre Lescanne, <a href="https://arxiv.org/abs/1702.03085">Quantitative aspects of linear and affine closed lambda term</a>, arXiv:1702.03085 [cs.DM], 2017.

%Y Cf. A281270, A275057.

%K nonn

%O 0,5

%A _Pierre Lescanne_, May 20 2017