The Type Theory Podcast

The Type Theory Podcast

A podcast about type theory

Episodes

Title Duration Published Consumed
Episode 6: Aaron Stump on Cedille 2016-12-01 20:15
Episode 5: Bob Constable on CTT and Nuprl 2015-08-31 16:32
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell 2015-04-18 21:07
Episode 3: Dan Licata on Homotopy Type Theory 2015-01-07 21:02
Episode 2: Edwin Brady on Idris 01:32:50 2014-09-26 09:58
Episode 1: Peter Dybjer on types and testing 2014-08-13 08:18