Difference between revisions of "Talk:Curry-Howard-Lambek correspondence"
Jump to navigation
Jump to search
Uchchwhash (talk | contribs) m |
(No difference)
|
Revision as of 14:14, 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)