Search

Home > The Type Theory Podcast > Episode 3: Dan Licata on Homotopy Type Theory
Podcast: The Type Theory Podcast
Episode:

Episode 3: Dan Licata on Homotopy Type Theory
Category: Science & Medicine
Duration: 00:00:00
Publish Date: 2015-01-07 14:02:22
Description: Episode 3: Dan Licata on Homotopy Type Theory
Total Play: 0