Difference between revisions of "Talk:Curry-Howard isomorphism"

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

Latest revision as of 05:44, 5 November 2006

Redirect to:

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