TY  - RPRT
TI  - A Rewriting Coherence Theorem with Applications in Homotopy Type Theory
AU  - Nicolai Kraus
AU  - Jakob von Raumer
PY  - 2022
DO  - 10.1017/s0960129523000026
UR  - https://arxiv.org/abs/2107.01594
ID  - 2107.01594
ER  -