nLab
Evan Cavallo

Selected writings

Selected writings

On generalized (Eilenberg-Steenrod) cohomology formulated in homotopy type theory:

  • Evan Cavallo, Synthetic Cohomology in Homotopy Type Theory MSc Thesis 2015 (pdf)
category: people

Created on July 6, 2020 at 15:37:47. See the history of this page for a list of all contributions to it.