TY  - RPRT
TI  - Cellular Cohomology in Homotopy Type Theory
AU  - Ulrik Buchholtz
AU  - Kuen-Bang Hou
PY  - 2020
DO  - 10.23638/lmcs-16(2:7)2020
UR  - https://arxiv.org/abs/1802.02191
ID  - 1802.02191
ER  -