Kristina Sojakova's publications & preprints

- K. Sojakova. Higher Inductive Types as Homotopy-Initial Algebras.

- S. Awodey, N. Gambino, and K. Sojakova. Homotopy-initial Algebras in Type Theory. To appear in Journal of the ACM (JACM), 2016.
- K. Sojakova. The Equivalence of The Torus and The Product of Two Circles in Homotopy Type Theory. To appear in ACM Transactions on Computational Logic (TOCL), 2016.
- K. Sojakova. Higher Inductive Types as Homotopy-Initial Algebras. In S. Rajamani and D. Walker (Eds.), Symposium on Principles of Programming Languages (POPL 2015), pages 31-42. ACM, 2015.
- The Univalent Foundations Program, Institute for Advanced Study. Homotopy Type Theory - Univalent Foundations of Mathematics. Univalent Foundations Project, 2013. Author of chapters 4 and 5.
- F. Rabe and K. Sojakova. Logical Relations for a Logical Framework. ACM Transactions on Computational Logic (TOCL), 14(4):32, 2013.
- S. Awodey, N. Gambino, and K. Sojakova. Inductive Types in Homotopy Type Theory. In Logic in Computer Science (LICS 2012), pages 95-104. IEEE Computer Society, 2012.

- P. Johann and K. Sojakova. A General Framework for Relational Parametricity. 2016.