Department of MathematicsWestern Science

Chris Kapulkin: Publications & Preprints

Back to main page

  1. Threshold Properties of Prime Power Subgroups with Application to Secure Integer Comparisons, with R. Carlton and A. Essex, accepted to the RSA Conference Cryptographers' Track, 2018. [iacr]
  2. Cubical Approach to Straightening, with V. Voevodsky, submitted, 2018. [pdf]
  3. Internal Language of Finitely Complete (∞,1)-categories, with K. Szumiło, submitted, 2017. [arXiv] [pdf]
  4. The Homotopy Theory of Type Theories, with P. LeF. Lumsdaine, submitted, 2016. [arXiv] [pdf]
  5. Locally cartesian closed quasicategories from type theory, J. Topology 10 (4), 1029-1049, 2017. [arXiv] [pdf]
  6. Quasicategories of frames of cofibration categories, with K. Szumiło, Appl. Categ. Structures 25 (2017), no. 3, 323–347. [arXiv] [pdf]
  7. Joyal's Conjecture in Homotopy Type Theory, PhD thesis, 2014. [award]
  8. Homotopy Type Theory (The HoTT Book), as part of the Univalent Foundations Project, 2013. [website]
  9. Homotopy limits in type theory, with J. Avigad and P. LeF. Lumsdaine, Math. Structures Comput. Sci. 25 (2015), no. 5, 1040–1070. [arXiv] [pdf]
  10. Univalent categories and the Rezk completion, with B. Ahrens and M. Shulman, Math. Structures Comput. Sci. 25 (2015), no. 5, 1010–1039. [arXiv] [pdf]
  11. The Simplicial Model of Univalent Foundations (after Voevodsky), with P. LeF. Lumsdaine, submitted, 2012. [arXiv] [pdf]
  12. Univalence in Simplicial Sets, with P. LeF. Lumsdaine and V. Voevodsky, preprint, 2012. [arXiv] [pdf]
  13. Expressiveness of positive coalgebraic logic, with A. Kurz and J. Velebil, Advances in modal logic 9, 368–385, 2012. [pdf]
  14. Homotopy-theoretic models of type theory, with P. Arndt, Typed lambda calculi and applications, 45–60, Lecture Notes in Comput. Sci., 6690, Springer, Heidelberg, 2011. [arXiv] [pdf] 

See also: Google Scholar, arXiv, MathSciNet.