Folgen
Egbert Rijke
Egbert Rijke
Postdoc in Mathematics, University of Ljubljana
Bestätigte E-Mail-Adresse bei fmf.uni-lj.si - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Modalities in homotopy type theory
E Rijke, M Shulman, B Spitters
Logical Methods in Computer Science 16, 2020
1112020
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
652018
The join construction
E Rijke
arXiv preprint arXiv:1701.07538, 2017
452017
Introduction to homotopy type theory
E Rijke
arXiv preprint arXiv:2212.11082, 2022
412022
Sets in homotopy type theory
E Rijke, B Spitters
Mathematical Structures in Computer Science 25 (5), 1172-1202, 2015
372015
Localization in homotopy type theory
JD Christensen, M Opie, E Rijke, L Scoccola
arXiv preprint arXiv:1807.04155, 2018
312018
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
272017
Classifying Types
E Rijke
arXiv preprint arXiv:1906.09435, 2019
262019
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
152016
The join construction.(2017)
E Rijke
arXiv preprint arXiv:1701.07538, 2017
102017
Characterizations of modalities and lex modalities
JD Christensen, E Rijke
Journal of Pure and Applied Algebra 226 (3), 106848, 2022
92022
Central H-spaces and banded types
U Buchholtz, JD Christensen, JGT Flaten, E Rijke
arXiv preprint arXiv:2301.02636, 2023
82023
Univalent mathematics in Agda
E Rijke, E Bonnevier, J Prieto-Cubides
72021
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
72020
Modalities in homotopy type theory, Log
E Rijke, M Shulman, B Spitters
Methods Comput. Sci 16 (1), 2020
72020
Introduction to Homotopy Type Theory.(2022)
E Rijke, A Caglayan
URL https://github. com/HoTT-Intro/Agda. Commit 75d334968, file “book. agda, 0
6
B-systems and C-systems are equivalent
B Ahrens, J Emmenegger, PR North, E Rijke
The Journal of Symbolic Logic, 1-9, 2023
22023
The long exact sequence of homotopy -groups
U Buchholtz, E Rijke
arXiv preprint arXiv:1912.08696, 2019
22019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20