#
Homotopy Type Theory

Synthetic Cohomology in Homotopy Type Theory

*Synthetic Cohomology in Homotopy Type Theory*, Evan Cavallo

## Links

PDF

## See also

Last revised on October 14, 2018 at 13:00:08.
See the history of this page for a list of all contributions to it.