TY  - RPRT
TI  - Higher Inductive Types as Homotopy-Initial Algebras
AU  - Kristina Sojakova
PY  - 2014
UR  - https://arxiv.org/abs/1402.0761
ID  - 1402.0761
ER  -