Difference between revisions of "Curry-Howard-Lambek correspondence"
Jump to navigation
Jump to search
(Created page with "{{WikiEntry|key=Curry-Howard-Lambek correspondence|qCode=110810925}}") |
|||
| 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. | |||
[[Category:Category Theory]] | |||
Revision as of 03:38, 4 February 2022
Curry-Howard-Lambek correspondence(Q110810925)
This is a mechanism that can be used to design automated test frameworks.