TY - RPRT TI - Higher quasi-categories vs higher Rezk spaces AU - Dimitri Ara PY - 2015 DO - 10.1017/s1865243315000021 UR - https://arxiv.org/abs/1206.4354 ID - 1206.4354 ER -