Enumeration of generalized BCI lambda-terms
From MaRDI portal
Publication:396960
zbMath1295.05040arXiv1305.0640MaRDI QIDQ396960
Bernhard Gittenberger, Alice Jacquot, Olivier Bodini, Daniéle Gardy
Publication date: 14 August 2014
Published in: The Electronic Journal of Combinatorics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1305.0640
Related Items (11)
Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels ⋮ Families of Monotonic Trees: Combinatorial Enumeration and Asymptotics ⋮ Asymptotics and random sampling for BCI and BCK lambda terms ⋮ Asymptotic Properties of Combinatory Logic ⋮ Bijections between planar maps and planar linear normal \(\lambda\)-terms with connectivity condition ⋮ Unnamed Item ⋮ Enumerating lambda terms by weighted length of their de Bruijn representation ⋮ Counting and generating terms in the binary lambda calculus ⋮ On the number of unary-binary tree-like structures with restrictions on the unary height ⋮ Asymptotic enumeration of compacted binary trees of bounded right height ⋮ Statistical properties of lambda terms
This page was built for publication: Enumeration of generalized BCI lambda-terms
