scientific article; zbMATH DE number 7359757

DOI10.4230/LIPIcs.AofA.2018.25zbMath1486.03031MaRDI QIDQ4993547

Bernhard Gittenberger, Isabella Larcher

Publication date: 15 June 2021

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

limiting distributionssingularity analysisdirected acyclic graphslambda-terms

Mathematics Subject Classification ID

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

Related Items (1)

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

Cites Work

• Asymptotics and random sampling for BCI and BCK lambda terms
• Enumeration of generalized BCI lambda-terms
• Combinatory logic. With two sections by William Craig.
• On convergence rates in the central limit theorems for combinatorial structures
• On counting untyped lambda terms
• Lambda terms of bounded unary height
• On the asymptotic number of BCK(2)-terms
• How big is BCI fragment of BCK logic
• Unnamed Item
• Unnamed Item

This page was built for publication: