TY  - RPRT
TI  - Natural models of homotopy type theory
AU  - Steve Awodey
PY  - 2017
UR  - https://arxiv.org/abs/1406.3219
ID  - 1406.3219
ER  -