Edit Profile (opens in new tab) Rijke, Egbert Co-Author Distance Author ID: rijke.egbert Published as: Rijke, Egbert Homepage: https://github.com/EgbertRijke External Links: MGP · ORCID · Google Scholar · Twitter · dblp Documents Indexed: 18 Publications since 2015, including 7 Additional arXiv Preprints 1 Further Contribution Co-Authors: 14 Co-Authors with 16 Joint Publications 173 Co-Co-Authors all top 5 Co-Authors 3 single-authored 6 Buchholtz, Ulrik 4 Spitters, Bas 3 Christensen, J. Daniel 2 Ahrens, Benedikt 2 Shulman, Michael A. 2 Sojakova, Kristina 2 van Doorn, Floris 1 Aczel, Peter 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Avigad, Jeremy 1 Awodey, Steve 1 Barras, Bruno 1 Bauer, Andrej 1 Bertot, Yves 1 Bezem, Marc 1 Bordg, Anthony 1 Brunerie, Guillaume 1 Cherubini, Felix 1 Cohen, Cyril 1 Constable, Robert Lee 1 Coquand, Thierry 1 Curien, Pierre-Louis 1 Dybjer, Peter 1 Emmenegger, Jacopo 1 Finster, Eric 1 Flaten, Jarl G. Taxerås 1 Gambino, Nicola 1 Garner, Richard 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Harper, Robert 1 Herbelin, Hugo 1 Hofmann, Martin 1 Hofstra, Pieter J. W. 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Joyal, André 1 Kapulkin, Krzysztof 1 Kock, Joachim 1 Kraus, Nicolai 1 Li, Nuo 1 Licata, Dan 1 Lumsdaine, Peter LeFanu 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Mangel, Éléonore 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Nahas, Michael 1 North, Paige Randall 1 Opie, Morgan 1 Palmgren, Erik 1 Pelayo, Alvaro 1 Polonsky, Andrew 1 Riehl, Emily 1 Scoccola, Luis Nerio 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 1 Van den Berg, Benno 1 Voevodskiĭ, Vladimir Aleksandrovich 1 Warren, Michael Alton 1 Zeilberger, Noam Serials 3 MSCS. Mathematical Structures in Computer Science 2 Higher Structures 1 Journal of Pure and Applied Algebra 1 Nieuw Archief voor Wiskunde. Vijfde Serie 1 Logical Methods in Computer Science Fields 13 Mathematical logic and foundations (03-XX) 10 Algebraic topology (55-XX) 8 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 60 times in 37 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 199 2013 Modalities in homotopy type theory. Zbl 1489.03005 Rijke, Egbert; Shulman, Michael; Spitters, Bas 19 2020 Higher groups in homotopy type theory. Zbl 1452.03034 Buchholtz, Ulrik; van Doorn, Floris; Rijke, Egbert 11 2018 The real projective spaces in homotopy type theory. Zbl 1452.03033 Buchholtz, Ulrik; Rijke, Egbert 8 2017 Sets in homotopy type theory. Zbl 1362.03007 Rijke, Egbert; Spitters, Bas 7 2015 Localization in homotopy type theory. Zbl 1439.18023 Christensen, J. Daniel; Peck Opie, Morgan; Rijke, Egbert; Scoccola, Luis Nerio 6 2020 The Cayley-Dickson construction in homotopy type theory. Zbl 1522.03039 Buchholtz, Ulrik; Rijke, Egbert 4 2018 Sequential colimits in homotopy type theory. Zbl 1498.03035 Sojakova, Kristina; Doorn, Floris van; Rijke, Egbert 3 2020 Modal descent. Zbl 1481.18029 Cherubini, Felix; Rijke, Egbert 1 2021 Characterizations of modalities and lex modalities. Zbl 1482.18015 Christensen, J. Daniel; Rijke, Egbert 1 2022 Characterizations of modalities and lex modalities. Zbl 1482.18015 Christensen, J. Daniel; Rijke, Egbert 1 2022 Modal descent. Zbl 1481.18029 Cherubini, Felix; Rijke, Egbert 1 2021 Modalities in homotopy type theory. Zbl 1489.03005 Rijke, Egbert; Shulman, Michael; Spitters, Bas 19 2020 Localization in homotopy type theory. Zbl 1439.18023 Christensen, J. Daniel; Peck Opie, Morgan; Rijke, Egbert; Scoccola, Luis Nerio 6 2020 Sequential colimits in homotopy type theory. Zbl 1498.03035 Sojakova, Kristina; Doorn, Floris van; Rijke, Egbert 3 2020 Higher groups in homotopy type theory. Zbl 1452.03034 Buchholtz, Ulrik; van Doorn, Floris; Rijke, Egbert 11 2018 The Cayley-Dickson construction in homotopy type theory. Zbl 1522.03039 Buchholtz, Ulrik; Rijke, Egbert 4 2018 The real projective spaces in homotopy type theory. Zbl 1452.03033 Buchholtz, Ulrik; Rijke, Egbert 8 2017 Sets in homotopy type theory. Zbl 1362.03007 Rijke, Egbert; Spitters, Bas 7 2015 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 199 2013 all cited Publications top 5 cited Publications all top 5 Cited by 57 Authors 5 Buchholtz, Ulrik 5 Rijke, Egbert 3 Christensen, J. Daniel 3 Scoccola, Luis Nerio 3 Spitters, Bas 2 Anel, Mathieu 2 Biedermann, Georg 2 Birkedal, Lars 2 Finster, Eric 2 Joyal, André 2 Kavvos, G. A. 2 Shulman, Michael A. 2 Swan, Andrew W. 2 van der Weide, Niels 1 Bidlingmaier, Martin E. 1 Brogi, Cosimo Perini 1 Buss, Samuel R. 1 Carette, Jacques 1 Cavallo, Evan 1 Chen, Chao-Hong 1 Cherubini, Felix 1 Choudhury, Vikraman 1 Clouston, Ranald A. 1 Coghetto, Roland 1 Contente, Michele 1 Coquand, Thierry 1 de Jong, Tom J. 1 Emmenegger, Jacopo 1 Faissole, Florian 1 Flaten, Jarl G. Taxerås 1 Geuvers, Jan Herman 1 Gratzer, Daniel 1 Harper, Robert 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Iemhoff, Rosalie 1 Isaev, Valery 1 Kohlenbach, Ulrich Wilhelm 1 Lumsdaine, Peter LeFanu 1 Maietti, Maria Emilia 1 Mannaa, Bassel 1 Marquis, Jean-Pierre 1 Møgelberg, Rasmus Ejlers 1 Myers, David Jaz 1 Nuyts, Andreas 1 Opie, Morgan 1 Pitts, Andrew M. 1 Rathjen, Michael 1 Ruch, Fabian 1 Sabry, Amr 1 Sattler, Christian 1 Uemura, Taichi 1 van Doorn, Floris 1 Veltri, Niccolò 1 Vergura, Marco 1 von Raumer, Jakob 1 Warn, David E. all top 5 Cited in 13 Serials 9 MSCS. Mathematical Structures in Computer Science 9 Logical Methods in Computer Science 3 Higher Structures 2 Journal of Pure and Applied Algebra 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Advances in Mathematics 1 Studia Logica 1 Theoretical Computer Science 1 Theory and Applications of Categories 1 Algebraic & Geometric Topology 1 Oberwolfach Reports 1 Journal of Homotopy and Related Structures 1 Formalized Mathematics all top 5 Cited in 8 Fields 28 Mathematical logic and foundations (03-XX) 19 Category theory; homological algebra (18-XX) 15 Algebraic topology (55-XX) 10 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Measure and integration (28-XX) 1 Geometry (51-XX) Citations by Year