×
Author ID: rijke.egbert Recent zbMATH articles by "Rijke, Egbert"
Published as: Rijke, Egbert
Homepage: https://github.com/EgbertRijke
External Links: MGP · ORCID · Google Scholar · Twitter · dblp

Publications by Year

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

Citations by Year