TY  - RPRT
TI  - Inductive types in homotopy type theory
AU  - Steve Awodey
AU  - Nicola Gambino
AU  - Kristina Sojakova
PY  - 2012
UR  - https://arxiv.org/abs/1201.3898
ID  - 1201.3898
ER  -