Episode 5: Bob Constable on CTT and Nuprl
The Type Theory Podcast
Episode 5: Bob Constable on CTT and NuprlNext Episodes
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell @ The Type Theory Podcast
📆 2015-04-18 21:07
Episode 3: Dan Licata on Homotopy Type Theory @ The Type Theory Podcast
📆 2015-01-07 21:02
Episode 2: Edwin Brady on Idris @ The Type Theory Podcast
📆 2014-09-26 09:58 / ⌛ 01:32:50
Episode 1: Peter Dybjer on types and testing @ The Type Theory Podcast
📆 2014-08-13 08:18