Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory.

Nicolai Kraus, Jakob von Raumer

Browse the full LICS paper archive.