discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Linking pages
Episode 3: Dan Licata on Homotopy Type Theory | The Type Theory Podcast
http://typetheorypodcast.com/2015/01/episode-3-dan-licata-on-homotopy-type-theory/
14 comments
Related searches:
Search whole site:
site:dlicata.web.wesleyan.edu
See
how to search
.
Submit link to:
Hacker News
Reddit
Lobsters
Twitter
Mastodon