Classifying Covering Types in Homotopy Type Theory.

Samuel Mimram Émile Oleon Classifying Covering Types in Homotopy Type Theory. 21:1-21:20 2026 CSL https://doi.org/10.4230/LIPIcs.CSL.2026.21 conf/csl/2026 db/conf/csl/csl2026.html#MimramO26