Episode 6: Aaron Stump on Cedille
Dec 1, 2016 - 00:00:00
Radio and PodcastLive Radio & PodcastsScience & Medicine
Episode 5: Bob Constable on CTT and Nuprl
Episode 5: Bob Constable on CTT and Nuprl
About This Episode
Episode 5: Bob Constable on CTT and Nuprl is an episode from The Type Theory Podcast by David Raymond Christiansen. Episode 5: Bob Constable on CTT and Nuprl The episode was published on Aug 31, 2015 and runs for 00:00:00. Use the player to...
Podcast
This episode belongs to The Type Theory Podcast.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Aug 31, 2015, 00:00:00 long, audio available.
Related Episodes
Continue listening to more episodes from The Type Theory Podcast.
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
Apr 18, 2015 - 00:00:00
Episode 3: Dan Licata on Homotopy Type Theory
Jan 7, 2015 - 00:00:00
Episode 2: Edwin Brady on Idris
Sep 26, 2014 - 01:32:50
Episode 1: Peter Dybjer on types and testing
Aug 13, 2014 - 00:00:00