Egbert Rijke

According to our database1, Egbert Rijke authored at least 10 papers between 2015 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Epimorphisms and Acyclic Types in Univalent Mathematics.
CoRR, 2024

2023
The long exact sequence of homotopy <i>n</i>-groups.
Math. Struct. Comput. Sci., 2023

Central H-spaces and banded types.
CoRR, 2023

2021
Modal descent.
Math. Struct. Comput. Sci., 2021

2020
Modalities in homotopy type theory.
Log. Methods Comput. Sci., 2020

Sequential Colimits in Homotopy Type Theory.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2018
Higher Groups in Homotopy Type Theory.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017
The real projective spaces in homotopy type theory.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016
The Cayley-Dickson Construction in Homotopy Type Theory.
CoRR, 2016

2015
Sets in homotopy type theory.
Math. Struct. Comput. Sci., 2015


  Loading...