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
KEYWORD
nonn
AUTHOR
Pierre Lescanne, May 20 2017
STATUS
approved