Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels

zbMath1431.05014arXiv1903.05243MaRDI QIDQ5210975

Isabella Larcher, Bernhard Gittenberger

Publication date: 17 January 2020

Full work available at URL: https://arxiv.org/abs/1903.05243

zbMATH Keywords

lambda-terms with a bounded De Bruijn index; lambda-terms with a bounded number of De Bruijn levels

Mathematics Subject Classification ID

60F05: Central limit and other weak theorems

05C30: Enumeration in graph theory

05A16: Asymptotic enumeration

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Asymptotics and random sampling for BCI and BCK lambda terms
• Enumeration of generalized BCI lambda-terms
• On convergence rates in the central limit theorems for combinatorial structures
• On uniquely closable and uniquely typable skeletons of lambda terms
• Enumerating lambda terms by weighted length of their de Bruijn representation
• On the number of unary-binary tree-like structures with restrictions on the unary height
• On counting untyped lambda terms
• A hiking trip through the orders of magnitude: deriving efficient generators for closed simply-typed lambda terms and normal forms
• Combinatory logic. Vol. II
• Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction Sequence
• On the likelihood of normalization in combinatory logic
• A correspondence between rooted planar maps and normal planar lambda terms
• Singularity Analysis of Generating Functions
• Statistical properties of simple types
• Combinatorics of $\lambda$-terms: a natural approach
• Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers
• Boltzmann Samplers for the Random Generation of Combinatorial Structures
• Asymptotically almost all \lambda-terms are strongly normalizing
• Boltzmann Sampling of Unlabelled Structures
• Lambda terms of bounded unary height
• On the asymptotic number of BCK(2)-terms
• Polynomial tuning of multiparametric combinatorial samplers
• How big is BCI fragment of BCK logic
• Counting and generating terms in the binary lambda calculus
• Linear lambda terms as invariants of rooted trivalent maps