| 11. | Conversely, combinatory logic and simply typed lambda calculus are not the only models of computation, either.
|
| 12. | In 1927, while an instructor at Princeton University, he discovered the work of Moses Sch�nfinkel in combinatory logic.
|
| 13. | The focus of Curry's work were attempts to show that combinatory logic could provide a foundation for mathematics.
|
| 14. | Especially, the deduction theorem specific to Hilbert-style logic matches the process of abstraction elimination of combinatory logic.
|
| 15. | Thanks to the correspondence, results from combinatory logic can be transferred to Hilbert-style logic and vice versa.
|
| 16. | Quine notes that Haskell Curry ( 1958 ) carried this work forward " under the head of combinatory logic ".
|
| 17. | "' Combinatory logic "'is a notation to eliminate the need for quantified variables in mathematical logic.
|
| 18. | These concepts are discussed in a more precise way in functional programming and its foundational disciplines, lambda calculus and combinatory logic.
|
| 19. | This is the core of the problem that Stephen Cole Kleene and then Haskell Curry discovered with Combinatory logic and Lambda calculus.
|
| 20. | This replacement mechanism simplifies work in both combinatory logic and lambda calculus and would later be called currying, after Haskell Curry.
|
