hubhopper
Features
Services
Resources
About
Pricing
Listen
Sign in
Start my podcast
Episode 3: Dan Licata on Homotopy Type Theory
Share:
Twitter
Copy Link
About
Episode 3: Dan Licata on Homotopy Type Theory
Show more
The Type Theory Podcast
January 7, 2015
Science
Episode 3: Dan Licata on Homotopy Type Theory
