Introduction to the Curry-Howard Isomorphism - a podcast by Aaron Stump

Beginning discussion of the Curry-Howard isomorphism, also constructive versus nonconstructive proofs

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump