Chris Kapulkin
Title
Cited by
Cited by
Year
The simplicial model of univalent foundations (after Voevodsky)
C Kapulkin, PLF Lumsdaine
arXiv preprint arXiv:1211.2851, 2012
2422012
Univalent categories and the Rezk completion
B Ahrens, K Kapulkin, M Shulman
Mathematical Structures in Computer Science 25 (5), 1010–1039, 2015
982015
Homotopy Type Theory: Univalent Foundations of Mathematics
P Aczel, B Ahrens, T Altenkirch, S Awodey, B Barras, A Bauer, Y Bertot, ...
84*2013
Homotopy limits in type theory
J Avigad, K Kapulkin, PLF Lumsdaine
Mathematical Structures in Computer Science 25 (5), 1040-1070, 2015
39*2015
Expressiveness of Positive Coalgebraic Logic.
K Kapulkin, A Kurz, J Velebil
Advances in Modal Logic 9, 368-385, 2012
222012
Homotopy-theoretic models of type theory
P Arndt, K Kapulkin
International Conference on Typed Lambda Calculi and Applications, 45-60, 2011
222011
Univalence in simplicial sets
C Kapulkin, PLF Lumsdaine, V Voevodsky
arXiv preprint arXiv:1203.2553, 2012
172012
Locally cartesian closed quasicategories from type theory
C Kapulkin
Journal of Topology 10 (4), 1029-1049, 2017
162017
Quasicategories of frames of cofibration categories
C Kapulkin, K Szumiło
Applied Categorical Structures 25 (3), 323–347, 2017
162017
The homotopy theory of type theories
K Kapulkin, PLF Lumsdaine
Advances in Mathematics 337, 1-38, 2018
142018
Internal languages of finitely complete -categories
K Kapulkin, K Szumiło
Selecta Mathematica 25 (Art. 33), 46 pp, 2019
102019
A cubical approach to straightening
K Kapulkin, V Voevodsky
Journal of Topology 13 (4), 1682-1700, 2020
82020
Expressivity of coalgebraic logic over posets
K Kapulkin, A Kurz, J Velebil
CMCS 10, 16-17, 2010
82010
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
72018
Fiber bundles and univalence
I Moerdijk, C Kapulkin
Notes from a talk by I Moerdijk; MAP 2011; Lorentz Institute, 2011
6*2011
Cubical models of (∞, 1)-categories
B Doherty, K Kapulkin, Z Lindsey, C Sattler
arXiv preprint arXiv:2005.04853, 2020
42020
Homotopical inverse diagrams in categories with attributes
K Kapulkin, PLF Lumsdaine
Journal of Pure and Applied Algebra 225 (4), 106563, 2021
32021
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
32020
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
32019
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