Homotopy Type Theory
Synthetic Cohomology in Homotopy Type Theory (Rev #1, changes)

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

Synthetic Cohomology in Homotopy Type Theory, Evan Cavallo,

PDF

Revision on October 14, 2018 at 12:41:28 by Anonymous?. See the history of this page for a list of all contributions to it.