Refereed Publications
- K. Sojakova, F. van Doorn, and E. Rijke.
Sequential Colimits in Homotopy Type Theory
To appear in Logic in Computer Science (LICS 2020).
- K. Sojakova and P. Johann.
A General Framework for Relational Parametricity
In Logic in Computer Science (LICS 2018), pp. 869-878. ACM 2018.
- S. Awodey, N. Gambino, and K. Sojakova.
Homotopy-Initial Algebras in Type Theory
Journal of The ACM (JACM 2017), v. 63(6), pp. 51:1-51:45, 2017.
- K. Sojakova.
The Equivalence of The Torus and The Product of Two Circles in Homotopy Type Theory
ACM Transactions on Computational Logic (TOCL 2016), v. 17(4), pp. 29:1-29:19, 2016.
- K. Sojakova.
Higher Inductive Types as Homotopy-Initial Algebras
In Symposium on Principles of Programming Languages (POPL 2015), pp. 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), v. 14(4), pp. 32:1-32:34, 2013.
- S. Awodey, N. Gambino, and K. Sojakova.
Inductive Types in Homotopy Type Theory
In Logic in Computer Science (LICS 2012), pp. 95-104. IEEE Computer Society 2012.
- M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe, and K. Sojakova.
Towards Logical Frameworks in the Heterogeneous Tool Set Hets
In Recent Trends in Algebraic Development Techniques (WADT 2010), pp.139-159. Springer 2010.
- K. Sojakova and F. Rabe.
Translating a Dependently-Typed Logic to First-Order Logic
In Recent Trends in Algebraic Development Techniques (WADT 2008), pp. 326-341. Springer 2008.
Thesis
Preprints