Egbert Rijke

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2024

Epimorphisms and Acyclic Types in Univalent Mathematics.

Ulrik Buchholtz, Tom de Jong, Egbert Rijke

CoRR, 2024

2023

The long exact sequence of homotopy <i>n</i>-groups.

Ulrik Buchholtz, Egbert Rijke

Math. Struct. Comput. Sci., 2023

Central H-spaces and banded types.

Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke

CoRR, 2023

2021

Modal descent.

Felix Cherubini, Egbert Rijke

Math. Struct. Comput. Sci., 2021

2020

Modalities in homotopy type theory.

Egbert Rijke, Michael Shulman, Bas Spitters

Log. Methods Comput. Sci., 2020

Sequential Colimits in Homotopy Type Theory.

Kristina Sojakova, Floris van Doorn, Egbert Rijke

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2018

Higher Groups in Homotopy Type Theory.

Ulrik Buchholtz, Floris van Doorn, Egbert Rijke

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

The real projective spaces in homotopy type theory.

Ulrik Buchholtz, Egbert Rijke

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

The Cayley-Dickson Construction in Homotopy Type Theory.

Ulrik Buchholtz, Egbert Rijke

CoRR, 2016

2015

Sets in homotopy type theory.

Egbert Rijke, Bas Spitters

Math. Struct. Comput. Sci., 2015