Apparent variables from the standpoint of combinatory logic

DOI10.2307/1968167MaRDI QIDQ1839723zbMATH OpenOpenAlexFDO

Authors Haskell B. Curry

Publication date 1933

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

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

zbMATH Keywords

foundations, philosophy, logic

Cited in

(6)

• A glimpse into the paradise of combinatory algebra
• A system of formal logic without an analogue to the curry W operator
• Three Syntactic Theories for Combinatory Graph Reduction
• On adding (ξ) to weak equality in combinatory logic
• Systems of illative combinatory logic complete for first-order propositional and predicate calculus
• Abstraction problems in combinatory logic: A compositive approach

This page was built for publication: Apparent variables from the standpoint of combinatory logic

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