On the asymptotic number of BCK(2)-terms

DOI10.1137/1.9781611973204.3zbMath1429.68156OpenAlexW2289282201MaRDI QIDQ5194754

Bernhardt Gittenberger, Olivier Bodini

Publication date: 17 September 2019

Published in: 2014 Proceedings of the Eleventh Workshop on Analytic Algorithmics and Combinatorics (ANALCO) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/1.9781611973204.3

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Asymptotic enumeration (05A16) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels ⋮ Unnamed Item ⋮ On the number of unary-binary tree-like structures with restrictions on the unary height ⋮ Statistical properties of lambda terms

This page was built for publication: On the asymptotic number of BCK(2)-terms