It is a fixed-point combinator in the lambda calculus and was discovered by Haskell Curry, a rather prolific mathematician and logician whose work helped start Computer Science. To complement the ...