Classifying Covering Types in Homotopy Type Theory.

Samuel Mimram, mile Oleon

Browse the full CSL paper archive.