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: 10 Publications since 2015 1 Further Contribution Co-Authors: 9 Co-Authors with 11 Joint Publications 118 Co-Co-Authors all top 5 Co-Authors 0 single-authored 4 Spitters, Bas 3 Buchholtz, Ulrik 2 Christensen, J. Daniel 2 Shulman, Michael A. 2 Sojakova, Kristina 2 van Doorn, Floris 1 Aczel, Peter 1 Ahrens, Benedikt 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 Finster, Eric 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 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Nahas, Michael 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 2 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 11 Mathematical logic and foundations (03-XX) 10 Algebraic topology (55-XX) 7 Category theory; homological algebra (18-XX) 1 Nonassociative rings and algebras (17-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 49 times in 31 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 Modalities in homotopy type theory. Zbl 1489.03005Rijke, Egbert; Shulman, Michael; Spitters, Bas 16 2020 The real projective spaces in homotopy type theory. Zbl 1452.03033Buchholtz, Ulrik; Rijke, Egbert 8 2017 Higher groups in homotopy type theory. Zbl 1452.03034Buchholtz, Ulrik; van Doorn, Floris; Rijke, Egbert 7 2018 Sets in homotopy type theory. Zbl 1362.03007Rijke, Egbert; Spitters, Bas 6 2015 Localization in homotopy type theory. Zbl 1439.18023Christensen, J. Daniel; Peck Opie, Morgan; Rijke, Egbert; Scoccola, Luis Nerio 5 2020 The Cayley-Dickson construction in homotopy type theory. Zbl 07038448Buchholtz, Ulrik; Rijke, Egbert 4 2018 Sequential colimits in homotopy type theory. Zbl 1498.03035Sojakova, Kristina; Doorn, Floris van; Rijke, Egbert 2 2020 Modal descent. Zbl 1481.18029Cherubini, Felix; Rijke, Egbert 1 2021 Modal descent. Zbl 1481.18029Cherubini, Felix; Rijke, Egbert 1 2021 Modalities in homotopy type theory. Zbl 1489.03005Rijke, Egbert; Shulman, Michael; Spitters, Bas 16 2020 Localization in homotopy type theory. Zbl 1439.18023Christensen, J. Daniel; Peck Opie, Morgan; Rijke, Egbert; Scoccola, Luis Nerio 5 2020 Sequential colimits in homotopy type theory. Zbl 1498.03035Sojakova, Kristina; Doorn, Floris van; Rijke, Egbert 2 2020 Higher groups in homotopy type theory. Zbl 1452.03034Buchholtz, Ulrik; van Doorn, Floris; Rijke, Egbert 7 2018 The Cayley-Dickson construction in homotopy type theory. Zbl 07038448Buchholtz, Ulrik; Rijke, Egbert 4 2018 The real projective spaces in homotopy type theory. Zbl 1452.03033Buchholtz, Ulrik; Rijke, Egbert 8 2017 Sets in homotopy type theory. Zbl 1362.03007Rijke, Egbert; Spitters, Bas 6 2015 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 all cited Publications top 5 cited Publications all top 5 Cited by 53 Authors 4 Rijke, Egbert 3 Buchholtz, Ulrik 3 Christensen, J. Daniel 3 Scoccola, Luis Nerio 3 Spitters, Bas 2 Birkedal, Lars 2 Kavvos, G. A. 2 Shulman, Michael A. 2 Swan, Andrew W. 2 van der Weide, Niels 1 Anel, Mathieu 1 Bidlingmaier, Martin E. 1 Biedermann, Georg 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 Coquand, Thierry 1 de Jong, Tom J. 1 Emmenegger, Jacopo 1 Faissole, Florian 1 Finster, Eric 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 Joyal, André 1 Kohlenbach, Ulrich Wilhelm 1 Lumsdaine, Peter LeFanu 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 all top 5 Cited in 11 Serials 9 Logical Methods in Computer Science 7 MSCS. Mathematical Structures in Computer Science 2 Higher Structures 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Advances in Mathematics 1 Journal of Pure and Applied Algebra 1 Studia Logica 1 Theory and Applications of Categories 1 Algebraic & Geometric Topology 1 Oberwolfach Reports 1 Formalized Mathematics all top 5 Cited in 8 Fields 26 Mathematical logic and foundations (03-XX) 15 Category theory; homological algebra (18-XX) 11 Algebraic topology (55-XX) 8 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