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

zbMath1431.05014arXiv1903.05243MaRDI QIDQ5210975

Bernhard Gittenberger, Isabella Larcher

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