- 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 haskell
Linked pages
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:typetheorypodcast.com
Search title: Episode 3: Dan Licata on Homotopy Type Theory | The Type Theory Podcast
See how to search.