Difference between revisions of "Curry-Howard Isomorphism"
Jump to navigation
Jump to search
BrettGiles (talk | contribs) (Curry-Howard Isomorphism moved to Curry-Howard isomorphism: Using title case as per guidelines.) |
BrettGiles (talk | contribs) m (Reduce double redirect) |
||
Line 1: | Line 1: | ||
− | #redirect [[Curry-Howard |
+ | #redirect [[Curry-Howard-Lambek correspondence]] |
Revision as of 21:05, 6 November 2006
Redirect to: