TY  - RPRT
TI  - The constructive Kan-Quillen model structure: two new proofs
AU  - Nicola Gambino
AU  - Christian Sattler
AU  - Karol Szumiło
PY  - 2021
DO  - 10.1093/qmath/haab057
UR  - https://arxiv.org/abs/1907.05394
ID  - 1907.05394
ER  -