Follow
Egbert Rijke
Egbert Rijke
Postdoc in Mathematics, University of Ljubljana
Verified email at fmf.uni-lj.si - Homepage
Title
Cited by
Cited by
Year
Modalities in homotopy type theory
E Rijke, M Shulman, B Spitters
Logical Methods in Computer Science 16, 2020
1082020
Higher groups in homotopy type theory
U Buchholtz, F van Doorn, E Rijke
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
612018
The join construction
E Rijke
arXiv preprint arXiv:1701.07538, 2017
452017
Sets in homotopy type theory
E Rijke, B Spitters
Mathematical Structures in Computer Science 25 (5), 1172-1202, 2015
362015
Introduction to homotopy type theory
E Rijke
arXiv preprint arXiv:2212.11082, 2022
352022
Localization in homotopy type theory
JD Christensen, M Opie, E Rijke, L Scoccola
arXiv preprint arXiv:1807.04155, 2018
292018
Classifying Types
E Rijke
arXiv preprint arXiv:1906.09435, 2019
252019
The real projective spaces in homotopy type theory
U Buchholtz, E Rijke
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-8, 2017
252017
Modal descent
F Cherubini, E Rijke
Mathematical Structures in Computer Science 31 (4), 363-391, 2021
172021
Homotopy type theory
EM Rijke
162012
The Cayley-Dickson construction in homotopy type theory
U Buchholtz, E Rijke
arXiv preprint arXiv:1610.01134, 2016
142016
The join construction.(2017)
E Rijke
arXiv preprint arXiv:1701.07538, 2017
92017
Characterizations of modalities and lex modalities
JD Christensen, E Rijke
Journal of Pure and Applied Algebra 226 (3), 106848, 2022
82022
Central H-spaces and banded types
U Buchholtz, JD Christensen, JGT Flaten, E Rijke
arXiv preprint arXiv:2301.02636, 2023
72023
Univalent mathematics in Agda
E Rijke, E Bonnevier, J Prieto-Cubides
72021
Modalities in homotopy type theory, Log
E Rijke, M Shulman, B Spitters
Methods Comput. Sci 16 (1), 2020
72020
Sequential colimits in homotopy type theory
K Sojakova, F Doorn, E Rijke
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
62020
Introduction to Homotopy Type Theory.(2022)
E Rijke, A Caglayan
URL https://github. com/HoTT-Intro/Agda. Commit 75d334968, file “book. agda, 0
6
The long exact sequence of homotopy -groups
U Buchholtz, E Rijke
arXiv preprint arXiv:1912.08696, 2019
22019
Homotopy Type Theory: Univalent Foundations of Mathematics
P Aczel, B Ahrens, T Altenkirch, S Awodey, B Barras, A Bauer, Y Bertot, ...
Aucun, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20