On the number of variables in special classes of random lambda-terms

DOI10.4230/LIPICS.AOFA.2018.25MaRDI QIDQ4993547zbMATH OpenFDO

Authors Bernhard Gittenberger, Isabella Larcher

Publication date 15 June 2021

Full work available at URL https://doi.org/10.4230/LIPICS.AOFA.2018.25

zbMATH Keywords

directed acyclic graphslambda-termslimiting distributionssingularity analysis

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Directed graphs (digraphs), tournaments (05C20) Applications of graph theory (05C90)

Recommendations

• Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels
• Counting and generating lambda terms
• Lambda terms of bounded unary height
• On counting untyped lambda terms
• A natural counting of lambda terms

Cites work

• Analytic combinatorics
• Asymptotics and random sampling for BCI and BCK lambda terms
• Combinatory logic. With two sections by William Craig.
• Enumeration of generalized BCI lambda-terms
• How big is BCI fragment of BCK logic
• scientific article; zbMATH DE number 6148924 (Why is no real title available?)
• Lambda terms of bounded unary height
• On convergence rates in the central limit theorems for combinatorial structures
• On counting untyped lambda terms
• On the asymptotic number of BCK(2)-terms

Cited in

(3)

• Statistical properties of lambda terms
• Lambda terms of bounded unary height
• Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels

This page was built for publication: On the number of variables in special classes of random lambda-terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4993547)