The Data structures of the lambda terms

DOI10.1142/9789813270947_0006MaRDI QIDQ6600650zbMATH OpenFDO

Authors Masahiko Sato

Publication date 9 September 2024

Full work available at URL https://doi.org/10.1142/9789813270947_0006

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Data structures (68P05) Grammars and rewriting systems (68Q42)

Recommendations

• Automatic synthesis of typed -programs on term algebras
• Lambda calculus with patterns
• The algebraic lambda calculus
• On counting untyped lambda terms
• Viewing \({\lambda}\)-terms through maps

This page was built for publication: The Data structures of the lambda terms

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