Benedikt Ahrens : univalent foundations and the equivalence principle

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.