#
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.