David Christiansen
&
Dan Licata
,
The Type Theory Podcast
Episode 3: Dan Licata on Homotopy Type Theory
07 Jan 2015
• EN
Episode 3: Dan Licata on Homotopy Type Theory
From "The Type Theory Podcast"
Listen on your iPhone
Download our iOS app and listen to interviews anywhere. Enjoy all of the listener functions in one slick package. Why not give it a try?
Comments
Add comment Feedback