TY  - RPRT
TI  - Homotopy-initial algebras in type theory
AU  - Steve Awodey
AU  - Nicola Gambino
AU  - Kristina Sojakova
PY  - 2015
UR  - https://arxiv.org/abs/1504.05531
ID  - 1504.05531
ER  -