Bodini, Olivier; Gardy, Danièle; Gittenberger, Bernhard 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). Cited in 1 ReviewCited in 6 Documents 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 \textit{O. Bodini} et al., in: 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; Zbl 1429.68155) Full Text: DOI