Difference between revisions of "Curry-Howard isomorphism"
Jump to navigation
Jump to search
Uchchwhash (talk | contribs) (Curry-Howard isomorphism moved to Curry-Howard-Lambek correspondence: wikipedia covers Curry-Howard quite well. Haskell takes category theory more seriously.) |
m |
||
Line 1: | Line 1: | ||
#redirect [[Curry-Howard-Lambek correspondence]] |
#redirect [[Curry-Howard-Lambek correspondence]] |
||
+ | |||
+ | [[Category: Pages to be removed]] |
Latest revision as of 04:19, 8 June 2023
Redirect to: