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

EditText of this page (last edited September 2, 2012) or FindPage with title or text search