Cellular Cohomology in Homotopy Type Theory.

Ulrik Buchholtz, Kuen-Bang Hou (Favonia)

Browse the full LICS paper archive.