OFFSET
0,11
COMMENTS
For definition see Appendix A of Grygiel and Lescanne, arXiv 2014.
REFERENCES
Katarzyna Grygiel, Pierre Lescanne. Counting and Generating Terms in the Binary Lambda Calculus (Extended version). 2015. <ensl-01229794>
LINKS
K. Grygiel, P. Lescanne, Counting terms in the binary lambda calculus, arXiv preprint arXiv:1401.0379 [cs.LO], 2014.
CROSSREFS
KEYWORD
nonn
AUTHOR
N. J. A. Sloane, Jan 31 2014
EXTENSIONS
Name clarified by Pierre Lescanne, Jul 13 2016
STATUS
approved