Program Termination and the Curry-Howard Isomorphism - a podcast by Aaron Stump

Why termination is needed for Curry-Howard, and how it is usually enforced

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump