Curry-Howard-Lambek Correspondence Category Theory by Example
The Curry-Howard-Lambek correspondence relates propositions, proofs, programs, and categorical structure.
Archive
Archive
The Curry-Howard-Lambek correspondence relates propositions, proofs, programs, and categorical structure.