Krzysztof Kapulkin

11 papers B 2Journal 8Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Extensional concepts in intensional type theory, revisited. Theor. Comput. Sci. Krzysztof Kapulkin, Yufeng Li
2025	J	`jnl`	The fundamental group in discrete homotopy theory. Adv. Appl. Math. Krzysztof Kapulkin, Udit Mavinkurve
2023	J	`jnl`	Nonexistence of Colimits in Naive Discrete Homotopy Theory. Appl. Categorical Struct. Daniel Carranza, Krzysztof Kapulkin, Jinho Kim
2018	B	`conf`	Threshold Properties of Prime Power Subgroups with Application to Secure Integer Comparisons. CT-RSA Rhys Carlton, Aleksander Essex, Krzysztof Kapulkin
2018	J	`jnl`	Threshold Properties of Prime Power Subgroups with Application to Secure Integer Comparisons. IACR Cryptol. ePrint Arch. Rhys Carlton, Aleksander Essex, Krzysztof Kapulkin
2017	J	`jnl`	Quasicategories of Frames of Cofibration Categories. Appl. Categorical Struct. Krzysztof Kapulkin, Karol Szumilo
2015	J	`jnl`	Homotopy limits in type theory. Math. Struct. Comput. Sci. Jeremy Avigad, Krzysztof Kapulkin, Peter LeFanu Lumsdaine
2015	J	`jnl`	Univalent categories and the Rezk completion. Math. Struct. Comput. Sci. Benedikt Ahrens, Krzysztof Kapulkin, Michael Shulman
2013	J	`jnl`	Homotopy limits in Coq CoRR Jeremy Avigad, Krzysztof Kapulkin, Peter LeFanu Lumsdaine
2012	B	`conf`	Expressiveness of Positive Coalgebraic Logic. Advances in Modal Logic Krzysztof Kapulkin, Alexander Kurz, Jirí Velebil
2011	—	`conf`	Homotopy-Theoretic Models of Type Theory. TLCA Peter Arndt, Krzysztof Kapulkin