Unary profile of lambda terms with restricted De Bruijn indices

MaRDI QIDQ5074776zbMATH OpenFDO

Authors Isabella Larcher, Katarzyna Grygiel

Publication date 10 May 2022

Full work available at URL https://dmtcs.episciences.org/7135

zbMATH Keywords

lambda terms with restrictionsprofile of lambda termssingularity analysis

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Trees (05C05) Coloring of graphs and hypergraphs (05C15)

Recommendations

• Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels
• On the number of lambda terms with prescribed size of their de Bruijn representation
• Enumerating lambda terms by weighted length of their de Bruijn representation
• Combinatorics of \(\lambda\)-terms: a natural approach
• On the number of unary-binary tree-like structures with restrictions on the unary height

Cited in

(3)

• 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
• Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels

This page was built for publication: Unary profile of lambda terms with restricted De Bruijn indices

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