Dec 1, 2016
Podcast · Inglés
The Type Theory Podcast
David Raymond Christiansen
A podcast about type theory
Episodes
Ordered by publication date.
Aug 31, 2015
Episode 5: Bob Constable on CTT and Nuprl
Apr 18, 2015
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
Jan 7, 2015
Episode 3: Dan Licata on Homotopy Type Theory
Sep 26, 2014
Episode 2: Edwin Brady on Idris
1 hour 32 minutes
Aug 13, 2014
Episode 1: Peter Dybjer on types and testing
More related podcasts
Other podcasts in Science & Medicine.