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