Curry, Haskell B. Some philosophical aspects of combinatory logic. (English) Zbl 0479.03005 The Kleene Symp., Proc., Madison/Wis. 1978, Stud. Logic Found. Math., Vol. 101, 85-101 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03B40 Combinatory logic and lambda calculus 03A05 Philosophical and critical aspects of logic and foundations 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 03-03 History of mathematical logic and foundations Keywords:lambda conversion; motivation; replies to criticisms of combinatory logic; substitution; combinators; Church-Rosser theorem; combinatory arithmetic; illative combinatory logic; realizations; representations; equality; assertion Citations:Zbl 0436.00007 PDFBibTeX XML