Difference between revisions of "Talk:Curry-Howard-Lambek correspondence"
Jump to navigation
Jump to search
BrettGiles (talk | contribs) m (Renaming?) |
Uchchwhash (talk | contribs) m (Talk:Curry-Howard isomorphism moved to Talk:Curry-Howard-Lambek correspondence) |
(No difference)
| |
Revision as of 05:44, 5 November 2006
Should this page be renamed Curry-Howard-Lambek correspondence? Makes a lot more sense that way. --Pirated Dreams 14:14, 4 November 2006 (UTC)
- Possibly. Personally, I didn't rename the page as it is seems to be more widely known just as "Curry-Howard" (e.g., wikipedia page is "Curry-Howard").BrettGiles 16:07, 4 November 2006 (UTC)