Chris Kapulkin

Chris Kapulkin

Western University Canada - London / Canada
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 813099
University of Western Ontario
person_outline Chris Kapulkin's MOST POPULAR ARTICLES
1-) The simplicial model of univalent foundations (after Voevodsky)C Kapulkin, PLF LumsdaineJournal of the European Mathematical Society 23 (6), 2071–2126, 2021319*2021
2-) Univalent categories and the Rezk completionB Ahrens, K Kapulkin, M ShulmanMathematical Structures in Computer Science 25 (5), 1010–1039, 20151192015
3-) Homotopy Type Theory: Univalent Foundations of MathematicsP Aczel, B Ahrens, T Altenkirch, S Awodey, B Barras, A Bauer, Y Bertot, ...114*2013
4-) Homotopy limits in type theoryJ Avigad, K Kapulkin, PLF LumsdaineMathematical Structures in Computer Science 25 (5), 1040-1070, 201557*2015
5-) The homotopy theory of type theoriesK Kapulkin, PLF LumsdaineAdvances in Mathematics 337, 1-38, 2018492018