Homotopy-Theoretic Models of Type Theory. - Peter Arndt 001; Krzysztof Kapulkin (TLCA, 2011)

Expressiveness of Positive Coalgebraic Logic. - Krzysztof Kapulkin; Alexander Kurz 001; Jirí Velebil (Advances in Modal Logic, 2012)

Homotopy limits in Coq - Jeremy Avigad; Krzysztof Kapulkin; Peter LeFanu Lumsdaine (CoRR, 2013)

Univalent categories and the Rezk completion. - Benedikt Ahrens; Krzysztof Kapulkin; Michael Shulman (Math. Struct. Comput. Sci., 2015)

Homotopy limits in type theory. - Jeremy Avigad; Krzysztof Kapulkin; Peter LeFanu Lumsdaine (Math. Struct. Comput. Sci., 2015)

Quasicategories of Frames of Cofibration Categories. - Krzysztof Kapulkin; Karol Szumilo (Appl. Categorical Struct., 2017)

Threshold Properties of Prime Power Subgroups with Application to Secure Integer Comparisons. - Rhys Carlton; Aleksander Essex; Krzysztof Kapulkin (IACR Cryptol. ePrint Arch., 2018)

Nonexistence of Colimits in Naive Discrete Homotopy Theory. - Daniel Carranza; Krzysztof Kapulkin; Jinho Kim (Appl. Categorical Struct., 2023)

The fundamental group in discrete homotopy theory. - Krzysztof Kapulkin; Udit Mavinkurve (Adv. Appl. Math., 2025)

Extensional concepts in intensional type theory, revisited. - Krzysztof Kapulkin; Yufeng Li (Theor. Comput. Sci., 2025)