Covering spaces in homotopy type theory

Kuen Bang Hou Favonia, Robert Harper

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Covering spaces in homotopy type theory'. Together they form a unique fingerprint.

Engineering & Materials Science