Can I read Curry-Howard Isomorphism Lectures on EtoBox?

Curry-Howard Isomorphism Lectures by Bandar is a document available to read on EtoBox.

What is Curry-Howard Isomorphism Lectures about?

These lecture notes provide an introduction to the Curry-Howard isomorphism between logic and type theory. The isomorphism states a correspondence between systems of formal logic and computational calculi. The notes cover topics like simply typed lambda calculus, intuitionistic propositional logic, natural deduction systems, sequent calculi, and more expressive type systems including dependent types, polymorphism, and pure type systems. The overarching goal is to illustrate the connections between logic and

Author

Bandar

Language

EN