TY  - RPRT
TI  - Homotopy theoretic models of identity types
AU  - Steve Awodey
AU  - Michael A. Warren
PY  - 2007
DO  - 10.1017/s0305004108001783
UR  - https://arxiv.org/abs/0709.0248
ID  - 0709.0248
ER  -