Kristina Sojakova's Publications & Preprints

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

• K. Sojakova. Higher Inductive Types as Homotopy-Initial Algebras. Won the Carnegie Mellon School of Computer Science Distinguished Dissertation Award.

Preprints

• L. Fan, J. Gancher, G. Morrisett, E. Shi, and K. Sojakova: IPDL: A Probabilistic Dataflow Logic for Cryptography. 2020.