Cast List
All shows
Calendar
Login
Register
Episode 3: Dan Licata on Homotopy Type Theory
The Type Theory Podcast
Episode
:
Episode 3: Dan Licata on Homotopy Type Theory
Website
:
The Type Theory Podcast
Feed URL
:
http://typetheorypodcast.com/feed/podcast/
Published
: 2015-01-07 21:02
Episode 3: Dan Licata on Homotopy Type Theory
Next Episodes
Episode 2: Edwin Brady on Idris
@
The Type Theory Podcast
📆
2014-09-26 09:58
/
⌛
01:32:50
Episode 1: Peter Dybjer on types and testing
@
The Type Theory Podcast
📆
2014-08-13 08:18