TY  - RPRT
TI  - Two-dimensional models of type theory
AU  - Richard Garner
PY  - 2011
DO  - 10.1017/s0960129509007646
UR  - https://arxiv.org/abs/0808.2122
ID  - 0808.2122
ER  -