×

zbMATH — the first resource for mathematics

Lambda terms of bounded unary height. (English) Zbl 1429.68155
Flajolet, Philippe (ed.) et al., Proceedings of the 8th workshop on analytic algorithmics and combinatorics (ANALCO ’11), San Francisco, CA, USA, January 22, 2011. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 23-32 (2011).

MSC:
68R05 Combinatorics in computer science
03B40 Combinatory logic and lambda calculus
05A15 Exact enumeration problems, generating functions
05A16 Asymptotic enumeration
PDF BibTeX XML Cite
Full Text: DOI