discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
The Type Theory Podcast, Episode 3: Dan Licata on Homotopy Type Theory
http://typetheorypodcast.com/2015/01/episode-3-dan-licata-on-homotopy-type-theory/
14 comments
7/1/2015
haskell