Krzysztof Kapulkin

According to our database, Krzysztof Kapulkin authored at least 10 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Extensional concepts in intensional type theory, revisited.

Krzysztof Kapulkin, Yufeng Li

Theor. Comput. Sci., 2025

The fundamental group in discrete homotopy theory.

Krzysztof Kapulkin, Udit Mavinkurve

Adv. Appl. Math., 2025

2023

Nonexistence of Colimits in Naive Discrete Homotopy Theory.

Daniel Carranza, Krzysztof Kapulkin, Jinho Kim

Appl. Categorical Struct., October, 2023

2018

Threshold Properties of Prime Power Subgroups with Application to Secure Integer Comparisons.

Rhys Carlton, Aleksander Essex, Krzysztof Kapulkin

IACR Cryptol. ePrint Arch., 2018

2017

Quasicategories of Frames of Cofibration Categories.

Krzysztof Kapulkin, Karol Szumilo

Appl. Categorical Struct., 2017

2015

Homotopy limits in type theory.

Jeremy Avigad, Krzysztof Kapulkin, Peter LeFanu Lumsdaine

Math. Struct. Comput. Sci., 2015

Univalent categories and the Rezk completion.

Benedikt Ahrens, Krzysztof Kapulkin, Michael Shulman

Math. Struct. Comput. Sci., 2015

2013

Homotopy limits in Coq

Jeremy Avigad, Krzysztof Kapulkin, Peter LeFanu Lumsdaine

CoRR, 2013

2012

Expressiveness of Positive Coalgebraic Logic.

Krzysztof Kapulkin, Alexander Kurz, Jirí Velebil

Proceedings of the Advances in Modal Logic 9, 2012

2011

Homotopy-Theoretic Models of Type Theory.

Peter Arndt, Krzysztof Kapulkin

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011