Difference between revisions of "Curry-Howard-Lambek correspondence"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
{{WikiEntry|key=Curry-Howard-Lambek correspondence|qCode=110810925}} | {{WikiEntry|key=Curry-Howard-Lambek correspondence|qCode=110810925}} | ||
This is a mechanism that can be used to design automated test frameworks. | This is a mechanism that can be used to design automated test frameworks. This is an extension of [[Curry-Howard correspondence]]. | ||
[[Category:Category Theory]] | [[Category:Category Theory]] | ||
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.