Difference between revisions of "Curry-Howard isomorphism"

From HaskellWiki
Jump to navigation Jump to search
(Curry-Howard isomorphism moved to Curry-Howard-Lambek correspondence: wikipedia covers Curry-Howard quite well. Haskell takes category theory more seriously.)
(No difference)

Revision as of 05:44, 5 November 2006

Redirect to:

Retrieved from "https://wiki.haskell.org/index.php?title=Curry-Howard_isomorphism&oldid=7916"