Statistical properties of lambda terms
From MaRDI portal
Publication:2327214
Sergey Dovgal, Maciej Bendkowski, Olivier Bodini
Publication date: 14 October 2019
Published in: The Electronic Journal of Combinatorics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1805.09419
Asymptotic distribution theory in statistics (62E20) Logic in computer science (03B70) Enumerative combinatorics (05A99) Asymptotic enumeration (05A16) Combinatory logic and lambda calculus (03B40)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- 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
- Algorithms for combinatorial structures: well-founded systems and Newton iterations
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Une théorie combinatoire des séries formelles
- On convergence rates in the central limit theorems for combinatorial structures
- Finite range random walk on free groups and homogeneous trees
- A calculus for the random generation of labelled combinatorial structures
- On uniquely closable and uniquely typable skeletons of lambda terms
- Enumerating lambda terms by weighted length of their de Bruijn representation
- Central and local limit theorems applied to asymptotic enumeration. II: Multivariate generating functions
- On counting untyped lambda terms
- Characteristic points of recursive systems
- Random maps, coalescing saddles, singularity analysis, and Airy phenomena
- A Natural Counting of Lambda Terms
- Pointed versus singular Boltzmann samplers: a comparative analysis
- Random Trees
- Coloring rules for finite trees, and probabilities of monadic second order sentences
- Combinatorics of $\lambda$-terms: a natural approach
- On the number of lambda terms with prescribed size of their De Bruijn representation
- On the Higher Dimensional Quasi-Power Theorem and a Berry-Esseen Inequality
- Boltzmann Samplers for the Random Generation of Combinatorial Structures
- Lambda terms of bounded unary height
- On the asymptotic number of BCK(2)-terms
- Polynomial tuning of multiparametric combinatorial samplers
- Counting and generating terms in the binary lambda calculus
- Counting and generating lambda terms
- Hwang's Quasi-Power-Theorem in Dimension Two
This page was built for publication: Statistical properties of lambda terms
