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.
