TY  - RPRT
TI  - Rigidification of cubical quasi-categories
AU  - Pierre-Louis Curien
AU  - Muriel Livernet
AU  - Gabriel Saadia
PY  - 2022
DO  - 10.2140/agt.2024.24.2851
UR  - https://arxiv.org/abs/2211.13679
ID  - 2211.13679
ER  -