Homotopy Type Theory
Synthetic Cohomology in Homotopy Type Theory (Rev #2)
Synthetic Cohomology in Homotopy Type Theory, Evan Cavallo
Links
PDF
See also
Revision on October 14, 2018 at 13:00:08 by
Ali Caglayan.
See the history of this page for a list of all contributions to it.