Difference between revisions of "Curry-Howard-Lambek correspondence"
Jump to navigation
Jump to search
| Line 4: | Line 4: | ||
[[Category:Category Theory]] | [[Category:Category Theory]] | ||
[[Category:Meta Mathematics]] | |||
[[Category:Logic]] | [[Category:Logic]] | ||
[[Category:Arithmetic]] | [[Category:Arithmetic]] | ||
[[Category:Compiler]] | [[Category:Compiler]] | ||
[[Category:Testing]] | [[Category:Testing]] | ||
Revision as of 08:00, 4 February 2022
Curry-Howard-Lambek correspondence(Q110810925)
This is a mechanism that can be used to design automated test frameworks. This is an extension of Curry-Howard correspondence.