Episode 6: Aaron Stump on Cedille
Dec 1, 2016 - 00:00:00
Radio and PodcastLive Radio & PodcastsScience & Medicine
Episode 3: Dan Licata on Homotopy Type Theory
Episode 3: Dan Licata on Homotopy Type Theory
About This Episode
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...
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 Jan 7, 2015, 00:00:00 long, audio available.
Related Episodes
Continue listening to more episodes from The Type Theory Podcast.
Episode 5: Bob Constable on CTT and Nuprl
Aug 31, 2015 - 00:00:00
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
Apr 18, 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