Chris Kapulkin

Dikutip oleh

	Semua	Sejak 2020
Kutipan	1159	633
indeks-h	15	13
indeks-i10	17	16

160

120

2011201220132014201520162017201820192020202120222023202420253 17 29 57 81 70 85 84 90 75 104 145 142 138 28

Akses publik

Lihat semua

10 artikel

0 artikel*

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm UniversityEmail yang diverifikasi di math.su.se
Michael ShulmanAssociate Professor of Mathematics, University of San DiegoEmail yang diverifikasi di sandiego.edu
Benedikt AhrensDelft University of TechnologyEmail yang diverifikasi di tudelft.nl
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityEmail yang diverifikasi di cmu.edu
Alexander KurzChapman UniversityEmail yang diverifikasi di chapman.edu
Liang Ze WongInstitute of High Performance ComputingEmail yang diverifikasi di uw.edu
Peter ArndtEmail yang diverifikasi di hhu.de
Christian SattlerChalmers University of Technology and University of GothenburgEmail yang diverifikasi di chalmers.se
Aleksander EssexAssociate Professor of Software Engineering, Western University CanadaEmail yang diverifikasi di uwo.ca
I. Moerdijkhoogleraar wiskunde, Universiteit UtrechtEmail yang diverifikasi di uu.nl
Udit MavinkurveUniversity of Western OntarioEmail yang diverifikasi di uwo.ca
Andrew TonksDepartamento de Álgebra, Geometría y Topología. Universidad de MálagaEmail yang diverifikasi di uma.es
Maru SarazolaAssistant Professor, University of MinnesotaEmail yang diverifikasi di umn.edu
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceEmail yang diverifikasi di cl.cam.ac.uk
Andrej BauerUniversity of LjubljanaEmail yang diverifikasi di andrej.com

Ikuti

Chris Kapulkin

Associate Professor; University of Western Ontario

Email yang diverifikasi di uwo.ca - Beranda

Homotopy Theory Category Theory Formalization of Mathematics Cryptography


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
The simplicial model of univalent foundations (after Voevodsky) C Kapulkin, PLF Lumsdaine Journal of the European Mathematical Society 23 (6), 2071–2126, 2021	396*	2021
Univalent categories and the Rezk completion B Ahrens, K Kapulkin, M Shulman Mathematical Structures in Computer Science 25 (5), 1010–1039, 2015	149	2015
Homotopy Type Theory: Univalent Foundations of Mathematics P Aczel, B Ahrens, T Altenkirch, S Awodey, B Barras, A Bauer, Y Bertot, ...	144*	2013
Homotopy limits in type theory J Avigad, K Kapulkin, PLF Lumsdaine Mathematical Structures in Computer Science 25 (5), 1040-1070, 2015	57*	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 model for (∞, n)-categories T Campion, K Kapulkin, Y Maehara arXiv preprint arXiv:2005.07603, 2020	28	2020
Expressiveness of Positive Coalgebraic Logic K Kapulkin, A Kurz, J Velebil Advances in Modal Logic 9, 368-385, 2012	28	2012
A cubical approach to straightening K Kapulkin, V Voevodsky Journal of Topology 13 (4), 1682-1700, 2020	27	2020
Quasicategories of frames of cofibration categories C Kapulkin, K Szumiło Applied Categorical Structures 25 (3), 323–347, 2017	24	2017
Univalence in simplicial sets C Kapulkin, PLF Lumsdaine, V Voevodsky arXiv preprint arXiv:1203.2553, 2012	24	2012
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	16	2018
Homotopical inverse diagrams in categories with attributes K Kapulkin, PLF Lumsdaine Journal of Pure and Applied Algebra 225 (4), 106563, 2021	14	2021
Cubical models of -categories B Doherty, C Kapulkin, Z Lindsey, C Sattler arXiv preprint arXiv:2005.04853, 2020	10	2020
Homotopy groups of cubical sets D Carranza, K Kapulkin Expositiones Mathematicae 41 (4), 125518, 2023	8	2023
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	8	2019
Expressivity of coalgebraic logic over posets K Kapulkin, A Kurz, J Velebil CMCS 10, 16-17, 2010	8	2010

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama