Covering Spaces in Homotopy Type Theory

Kuen-Bang Hou (Favonia), Robert Harper 0001. Covering Spaces in Homotopy Type Theory. In Silvia Ghilezan, Herman Geuvers, Jelena Ivetic, editors, 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Volume 97 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Authors

Kuen-Bang Hou (Favonia)

This author has not been identified. Look up 'Kuen-Bang Hou (Favonia)' in Google

Robert Harper 0001

This author has not been identified. Look up 'Robert Harper 0001' in Google