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 |