Homotopy Type Theory
Categorical Homotopy Type Theory (Rev #1)

Joyal’sSlides

Revision on March 24, 2014 at 08:54:17 by Steve Awodey. See the history of this page for a list of all contributions to it.