| The simplicial model of univalent foundations (after Voevodsky) C Kapulkin, PLF Lumsdaine Journal of the European Mathematical Society 23 (6), 2071–2126, 2021 | 385* | 2021 |
| Univalent categories and the Rezk completion B Ahrens, K Kapulkin, M Shulman Mathematical Structures in Computer Science 25 (5), 1010–1039, 2015 | 145 | 2015 |
| Homotopy Type Theory: Univalent Foundations of Mathematics P Aczel, B Ahrens, T Altenkirch, S Awodey, B Barras, A Bauer, Y Bertot, ... | 125* | 2013 |
| Homotopy limits in type theory J Avigad, K Kapulkin, PLF Lumsdaine Mathematical Structures in Computer Science 25 (5), 1040-1070, 2015 | 55* | 2015 |
| The homotopy theory of type theories K Kapulkin, PLF Lumsdaine Advances in Mathematics 337, 1-38, 2018 | 48 | 2018 |
| Homotopy-theoretic models of type theory P Arndt, K Kapulkin International Conference on Typed Lambda Calculi and Applications, 45-60, 2011 | 37 | 2011 |
| Internal languages of finitely complete -categories K Kapulkin, K Szumiło Selecta Mathematica 25 (Art. 33), 46 pp, 2019 | 35* | 2019 |
| Locally cartesian closed quasicategories from type theory C Kapulkin Journal of Topology 10 (4), 1029-1049, 2017 | 29 | 2017 |
| A cubical approach to straightening K Kapulkin, V Voevodsky Journal of Topology 13 (4), 1682-1700, 2020 | 28 | 2020 |
| Expressiveness of Positive Coalgebraic Logic K Kapulkin, A Kurz, J Velebil Advances in Modal Logic 9, 368-385, 2012 | 27 | 2012 |
| A cubical model for (∞, n)-categories T Campion, K Kapulkin, Y Maehara arXiv preprint arXiv:2005.07603, 2020 | 25 | 2020 |
| Univalence in simplicial sets C Kapulkin, PLF Lumsdaine, V Voevodsky arXiv preprint arXiv:1203.2553, 2012 | 25 | 2012 |
| Quasicategories of frames of cofibration categories C Kapulkin, K Szumiło Applied Categorical Structures 25 (3), 323–347, 2017 | 24 | 2017 |
| Equivalence of cubical and simplicial approaches to (∞, n)-categories B Doherty, K Kapulkin, Y Maehara Advances in Mathematics 416, 108902, 2023 | 17 | 2023 |
| 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 | 15 | 2018 |
| Cubical models of (∞, 1)-categories B Doherty, K Kapulkin, Z Lindsey, C Sattler Memoirs of the American Mathematical Society 297 (1484), 2024 | 12 | 2024 |
| Expressivity of coalgebraic logic over posets K Kapulkin, A Kurz, J Velebil CMCS 10, 16-17, 2010 | 9 | 2010 |
| Homotopy groups of cubical sets D Carranza, K Kapulkin Expositiones Mathematicae 41 (4), 125518, 2023 | 8 | 2023 |
| Homotopical inverse diagrams in categories with attributes K Kapulkin, PLF Lumsdaine Journal of Pure and Applied Algebra 225 (4), 106563, 2021 | 7 | 2021 |
| 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 | 7 | 2019 |
Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm University在 math.su.se 的电子邮件经过验证
