-avoidance

DOI10.4230/LIPICS.FSCD.2023.22MaRDI QIDQ6622062zbMATH OpenFDO

Authors Samuel Frontull, Georg Moser, Vincent van Oostrom

Publication date 21 October 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2023.22

zbMATH Keywords

\(\alpha\)-conversion\(\lambda\)-calculusdevelopmentssafe \(\lambda\)-calculusundecidabilityvariable capture

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Alpha-conversion and typability
• On the complexity of alpha conversion
• Substitution revisited
• Formal metatheory of the lambda calculus using Stoughton's substitution
• scientific article; zbMATH DE number 1722651

This page was built for publication: \( \alpha\)-avoidance

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