Robuta

https://arxiv.org/abs/1504.05531 [1504.05531] Homotopy-initial algebras in type theory Abstract page for arXiv paper 1504.05531: Homotopy-initial algebras in type theory 1504 05531 homotopy initial algebras