Episode 6: Aaron Stump on Cedille
Dec 1, 2016 - 00:00:00
Radio and PodcastLive Radio & PodcastsLoading episode
Fetching episode details...
Radio and PodcastLive Radio & PodcastsRadio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & PodcastsEpisode 5: Bob Constable on CTT and Nuprl
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...
This episode belongs to The Type Theory Podcast.
Use the player on this page to stream the episode online.
Published Aug 31, 2015, 00:00:00 long, audio available.
Continue listening to more episodes from The Type Theory Podcast.
Dec 1, 2016 - 00:00:00
Apr 18, 2015 - 00:00:00
Jan 7, 2015 - 00:00:00
Sep 26, 2014 - 01:32:50
Aug 13, 2014 - 00:00:00
Episode 5: Bob Constable on CTT and Nuprl
You can listen to Episode 5: Bob Constable on CTT and Nuprl online on Radio and Podcast. Open the player on this page to stream the available audio.
Episode 5: Bob Constable on CTT and Nuprl is an episode from The Type Theory Podcast by David Raymond Christiansen.
This episode is 00:00:00 long.
This episode was published on Aug 31, 2015.
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Yes. This page shows related episodes from The Type Theory Podcast when more episodes are available from the podcast feed.
You can listen to Episode 5: Bob Constable on CTT and Nuprl on this page when the episode audio is available from the podcast feed.
Episode 5: Bob Constable on CTT and Nuprl is from The Type Theory Podcast by David Raymond Christiansen.
Published Aug 31, 2015 and 00:00:00 long