Gentle Introduction to Homotopy Type Theory

Posted on April 4, 2019 by Marko Dimjašević

If you’re a programmer and you want to understand what is homotopy type theory about, Dan Licata has a talk on the topic.