_Synthetic Cohomology in Homotopy Type Theory_, [[Evan Cavallo]] ## Links ## [PDF](http://www.cs.cmu.edu/~rwh/theses/cavallo-msc.pdf) ## See also ## * [[References]] category: reference