## Kristina Sojakova

*Higher Inductive Types as Homotopy-Initial Algebras*

POPL, 2015.

@inproceedings{POPL-2015-Sojakova, author = "Kristina Sojakova", booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}", doi = "10.1145/2676726.2676983", isbn = "978-1-4503-3300-9", pages = "31--42", publisher = "{ACM}", title = "{Higher Inductive Types as Homotopy-Initial Algebras}", year = 2015, }