TY  - RPRT
TI  - A constructive account of the Kan-Quillen model structure and of Kan's Ex$^{\infty}$ functor
AU  - Simon Henry
PY  - 2019
UR  - https://arxiv.org/abs/1905.06160
ID  - 1905.06160
ER  -