TY  - RPRT
TI  - Weak model categories in classical and constructive mathematics
AU  - Simon Henry
PY  - 2020
UR  - https://arxiv.org/abs/1807.02650
ID  - 1807.02650
ER  -