<p>Discussion of the Curry-Howard isomorphism for the connectives of propositional logic (AND, OR, NOT, FALSE, IMPLIES).  Initial consideration of Curry-Howard for first-order and higher-order logic.  Dependent types.</p>

Discussion of the Curry-Howard isomorphism for the connectives of propositional logic (AND, OR, NOT, FALSE, IMPLIES). Initial consideration of Curry-Howard for first-order and higher-order logic. Dependent types.

<p>Discussion of the Curry-Howard isomorphism for the connectives of propositional logic (AND, OR, NOT, FALSE, IMPLIES).&nbsp; Initial consideration of Curry-Howard for first-order and higher-order logic.&nbsp; Dependent types.</p>

The Curry-Howard Isomorphism for Propositional Logic

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share The Curry-Howard Isomorphism for Propositional Logic

Sign up to save your podcasts

The Curry-Howard Isomorphism for Propositional Logic

The Curry-Howard Isomorphism for Propositional Logic