Talk:Curry-Howard-Lambek correspondence

From HaskellWiki

Revision as of 14:14, 4 November 2006 by Uchchwhash (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Should this page be renamed Curry-Howard-Lambek correspondence? Makes a lot more sense that way. --Pirated Dreams 14:14, 4 November 2006 (UTC)

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