TY  - RPRT
TI  - Homotopy Theoretic Models of Type Theory
AU  - Peter Arndt
AU  - Chris Kapulkin
PY  - 2012
DO  - 10.1007/978-3-642-21691-6_7
UR  - https://arxiv.org/abs/1208.5683
ID  - 1208.5683
ER  -