Some Additions to the Theory of Combinators

DOI10.2307/2370900zbMath0004.38701OpenAlexW2334571683MaRDI QIDQ4482046

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

Related Items

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