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