The Type Theory Podcast

The Type Theory Podcast

We interview experts and researchers in type theory, from the perspectives of programming, mathematics, and philosophy.

https://typetheorypodcast.com

Science Natural Sciences
subscribe
share






claim!
report

Episode 3: Dan Licata on Homotopy Type Theory

Episode 3: Dan Licata on Homotopy Type Theory

fyyd: Podcast Search Engine
share








 January 7, 2015  n/a