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.) |
m |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | #redirect [[Curry-Howard |
+ | #redirect [[Curry-Howard-Lambek correspondence]] |
| + | |||
| + | [[Category: Pages to be removed]] |
||
Latest revision as of 04:16, 8 June 2023
Redirect to: