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 3: Dan Licata on Homotopy Type Theory
Episode 3: Dan Licata on Homotopy Type Theory is an episode from The Type Theory Podcast by David Raymond Christiansen. Episode 3: Dan Licata on Homotopy Type Theory The episode was published on Jan 7, 2015 and runs for 00:00:00. Use the pl...
This episode belongs to The Type Theory Podcast.
Use the player on this page to stream the episode online.
Published Jan 7, 2015, 00:00:00 long, audio available.
Continue listening to more episodes from The Type Theory Podcast.
Dec 1, 2016 - 00:00:00
Aug 31, 2015 - 00:00:00
Apr 18, 2015 - 00:00:00
Sep 26, 2014 - 01:32:50
Aug 13, 2014 - 00:00:00
Episode 3: Dan Licata on Homotopy Type Theory
You can listen to Episode 3: Dan Licata on Homotopy Type Theory online on Radio and Podcast. Open the player on this page to stream the available audio.
Episode 3: Dan Licata on Homotopy Type Theory is an episode from The Type Theory Podcast by David Raymond Christiansen.
This episode is 00:00:00 long.
This episode was published on Jan 7, 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 3: Dan Licata on Homotopy Type Theory on this page when the episode audio is available from the podcast feed.
Episode 3: Dan Licata on Homotopy Type Theory is from The Type Theory Podcast by David Raymond Christiansen.
Published Jan 7, 2015 and 00:00:00 long