OFFSET
1,2
LINKS
Paul Tarau, A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms, arXiv preprint arXiv:1608.03912 [cs.PL], 2016.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
N. J. A. Sloane, Aug 04 2017
STATUS
approved