Five axioms of alpha-conversion

DOI10.1007/BFB0105404MaRDI QIDQ6567711zbMATH OpenFDO

Authors Andrew D. Gordon, Tom Melham

Publication date 5 July 2024

Full work available at URL https://doi.org/10.1007/BFB0105404

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Axioms for the Theory of Lambda-Conversion
• Alpha-structural induction and recursion for the lambda calculus in constructive type theory
• Automated Deduction – CADE-20
• Viewing \({\lambda}\)-terms through maps
• A Nominal Axiomatization of the Lambda Calculus

Cites work

• The lambda calculus. Its syntax and semantics. Rev. ed.

This page was built for publication: Five axioms of alpha-conversion

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