Axioms for the Theory of Lambda-Conversion
- 1 May 1985
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 14 (2) , 373-382
- https://doi.org/10.1137/0214028
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- A modification of the λ-calculus as a base for functional programming languagesPublished by Springer Nature ,1982
- A lambda calculus with naive substitutionJournal of the Australian Mathematical Society, 1979
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979
- Lambda calculus with namefree formulas involving symbols that represent reference transforming mappingsIndagationes Mathematicae, 1978
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972
- Über die Bausteine der mathematischen LogikMathematische Annalen, 1924