The Curry-Howard Isomorphism for Propositional Logic

Iowa Type Theory Commute
02/01/2020 13 min Temporada 1 Episodio 20
The Curry-Howard Isomorphism for Propositional Logic

Listen "The Curry-Howard Isomorphism for Propositional Logic"

Descargar episodio

Episode Synopsis

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.
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA