Episode 3: Dan Licata on Homotopy Type Theory - a podcast by The Type Theory Podcast

from 2015-01-07T20:02:22

:: ::

Episode 3: Dan Licata on Homotopy Type Theory

Further episodes of 301 Moved Permanently

Further podcasts by The Type Theory Podcast

Website of The Type Theory Podcast