See http://en.wikipedia.org/wiki/Curry-Howard_isomorphism

(despite delete comment, this is not an orphan)

See also HaskellCurry (for the Curry part here refers to him).
----
CategoryMath CategoryLanguageTyping