Curry Howard Isomorphism

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

View edit of September 2, 2012 or FindPage with title or text search