Chris Kapulkin
Title
Cited by
Cited by
Year
The simplicial model of univalent foundations (after Voevodsky)
C Kapulkin, PLF Lumsdaine
Journal of the European Mathematical Society 23 (6), 2071–2126, 2021
265*2021
Univalent categories and the Rezk completion
B Ahrens, K Kapulkin, M Shulman
Mathematical Structures in Computer Science 25 (5), 1010–1039, 2015
1042015
Homotopy Type Theory: Univalent Foundations of Mathematics
P Aczel, B Ahrens, T Altenkirch, S Awodey, B Barras, A Bauer, Y Bertot, ...
88*2013
Homotopy limits in type theory
J Avigad, K Kapulkin, PLF Lumsdaine
Mathematical Structures in Computer Science 25 (5), 1040-1070, 2015
42*2015
Homotopy-theoretic models of type theory
P Arndt, K Kapulkin
International Conference on Typed Lambda Calculi and Applications, 45-60, 2011
242011
Expressiveness of Positive Coalgebraic Logic.
K Kapulkin, A Kurz, J Velebil
Advances in Modal Logic 9, 368-385, 2012
222012
Univalence in simplicial sets
C Kapulkin, PLF Lumsdaine, V Voevodsky
arXiv preprint arXiv:1203.2553, 2012
202012
The homotopy theory of type theories
K Kapulkin, PLF Lumsdaine
Advances in Mathematics 337, 1-38, 2018
192018
Locally cartesian closed quasicategories from type theory
C Kapulkin
Journal of Topology 10 (4), 1029-1049, 2017
172017
Quasicategories of frames of cofibration categories
C Kapulkin, K Szumiło
Applied Categorical Structures 25 (3), 323–347, 2017
162017
Internal languages of finitely complete -categories
K Kapulkin, K Szumiło
Selecta Mathematica 25 (Art. 33), 46 pp, 2019
152019
A cubical approach to straightening
K Kapulkin, V Voevodsky
Journal of Topology 13 (4), 1682-1700, 2020
92020
Threshold properties of prime power subgroups with application to secure integer comparisons
R Carlton, A Essex, K Kapulkin
Cryptographers’ Track at the RSA Conference, 137-156, 2018
82018
Expressivity of coalgebraic logic over posets
K Kapulkin, A Kurz, J Velebil
CMCS 10, 16-17, 2010
82010
A cubical model for (∞, n)-categories
T Campion, K Kapulkin, Y Maehara
arXiv preprint arXiv:2005.07603, 2020
62020
Fiber bundles and univalence
I Moerdijk, C Kapulkin
Notes from a talk by I Moerdijk; MAP 2011; Lorentz Institute, 2011
6*2011
A co-reflection of cubical sets into simplicial sets with applications to model structures
C Kapulkin, Z Lindsey, LZ Wong
New York Journal of Mathematics 25, 627–641, 2019
52019
Cubical models of (∞, 1)-categories
B Doherty, K Kapulkin, Z Lindsey, C Sattler
arXiv preprint arXiv:2005.04853, 2020
42020
The law of excluded middle in the simplicial model of type theory
C Kapulkin, PLF Lumsdaine
Theory and Applications of Categories 35 (40), 1546-1548, 2020
42020
The univalence axiom and functional extensionality
N Gambino, C Kapulkin, PLF Lumsdaine
Notes from a talk by N Gambino; Oberwolfach Mini-Workshop on Homotopy …, 2011
3*2011
The system can't perform the operation now. Try again later.
Articles 1–20