Episode 5: Bob Constable on CTT and Nuprl
Aug 31, 2015 - 00:00:00
Radio and PodcastLive Radio & PodcastsScience & Medicine
Episode 6: Aaron Stump on Cedille
Episode 6: Aaron Stump on Cedille is an episode from The Type Theory Podcast by David Raymond Christiansen. This science & medicine episode is made for listeners who follow The Type Theory Podcast and want the episode, p...
About This Episode
Episode 6: Aaron Stump on Cedille is an episode from The Type Theory Podcast by David Raymond Christiansen. This science & medicine episode is made for listeners who follow The Type Theory Podcast and want the episode, playback, and related...
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 Dec 1, 2016, 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