Curry-Howard-Lambek correspondence

From PKC

Revision as of 08:00, 4 February 2022 by Benkoo (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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.

Retrieved from "https://pkc.pub/index.php?title=Curry-Howard-Lambek_correspondence&oldid=22857"