Some Additions to the Theory of Combinators

DOI10.2307/2370900MaRDI QIDQ4482046zbMATH OpenOpenAlexFDO

Authors Haskell B. Curry

Publication date 1932

Published in American Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2370900

zbMATH Keywords

foundations, logic

Cited in

(5)

• Abstraction problems in combinatory logic: A compositive approach
• Systems of illative combinatory logic complete for first-order propositional and predicate calculus
• Consistency and completeness of the theory of combinators
• New sets of postulates for combinatory logics
• The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction

This page was built for publication: Some Additions to the Theory of Combinators

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