TY  - RPRT
TI  - Towards coherence theorems for equational extensions of type theories
AU  - Rafaël Bocquet
PY  - 2023
UR  - https://arxiv.org/abs/2304.10343
ID  - 2304.10343
ER  -