Dein Suchergebnis zum Thema: Online

ELI5 the Lambek in Curry-Howard-Lambek correspondence? – Computer Science – Snap! Forum

https://forum.snap.berkeley.edu/t/eli5-the-lambek-in-curry-howard-lambek-correspondence/182

The Curry-Howard correspondence says that types are propositions and inhabitants are proofs. Lambek relates both logic and programming to Cartesian closed categories. I understand that a category is an algebraic structu…
lecture note available (and a recommended textbook, but that doesn’t seem to be online