TY  - RPRT
TI  - Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory
AU  - Nicolai Kraus
AU  - Jakob von Raumer
PY  - 2020
DO  - 10.1145/3373718.3394800.
UR  - https://arxiv.org/abs/2001.07655
ID  - 2001.07655
ER  -