Cellular Cohomology in Homotopy Type Theory

Article Details
Title:	Cellular Cohomology in Homotopy Type Theory
Article URLs:	https://doi.org/10.1145/3209108.3209188
Alternative Article URLs:
Authors:	Ulrik Buchholtz	Technische Universität Darmstadt
Authors:	Kuen-Bang Hou (Favonia)	Institute for Advanced Study
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/HoTT/HoTT-Agda/blob/f46225f9428520572424a07fec71b5143f/theorems/cw/cohomology/AxiomaticIsoCellular.agda#L18-L25
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1638352
DBLP Key:	conf/lics/Buchholtz18
Author Comments:

ACM/IEEE Logic in Computer Science, LICS 2018