The Type Theory Podcast

Episode 3: Dan Licata on Homotopy Type Theory

The Type Theory Podcast ›

0:00 | Jan 7th, 2015



Recommendations

🎉 Join the #1 community of podcast lovers and never miss a great podcast.

Sign up