TY  - RPRT
TI  - The identity type weak factorisation system
AU  - Nicola Gambino
AU  - Richard Garner
PY  - 2008
DO  - 10.1016/j.tcs.2008.08.030
UR  - https://arxiv.org/abs/0803.4349
ID  - 0803.4349
ER  -