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

Showing changes from revision #0 to #1: Added | Removed | Changed

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.