Combinatory logic - Curry, Haskell B. (Studies in logic and foundations of mathematics, 1958)