Difference between revisions of "Talk:Curry-Howard-Lambek correspondence"

From HaskellWiki
Jump to navigation Jump to search
m
 
m (Renaming?)
Line 1: Line 1:
 
Should this page be renamed Curry-Howard-Lambek correspondence? Makes a lot more sense that way. --[[User:Uchchwhash|Pirated Dreams]] 14:14, 4 November 2006 (UTC)
  
Should this page be renamed Curry-Howard-Lambek correspondence? Makes a lot more sense that way. --[[User:Uchchwhash|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 "[http://en.wikipedia.org/wiki/Curry-Howard Curry-Howard]").[[User:BrettGiles|BrettGiles]] 16:07, 4 November 2006 (UTC)

Revision as of 16:07, 4 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)
Retrieved from "https://wiki.haskell.org/index.php?title=Talk:Curry-Howard-Lambek_correspondence&oldid=7886"