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:Logic]] | |||
[[Category:Arithmetic]] | |||
[[Category:Compiler]] | |||
[[Category:Testing]] | |||
Revision as of 07:55, 4 February 2022
Curry-Howard-Lambek correspondence(Q110810925)
This is a mechanism that can be used to design automated test frameworks.