Egbert Rijke

14 papers A* 3Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Algebraic Presentations of Type Dependency.
Log. Methods Comput. Sci.
Benedikt Ahrens, Jacopo Emmenegger, Paige Randall North, Egbert Rijke
2024 J jnl
Epimorphisms and Acyclic Types in Univalent Mathematics.
CoRR
Ulrik Buchholtz, Tom de Jong, Egbert Rijke
2023 J jnl
Central H-spaces and banded types.
CoRR
Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke
2023 J jnl
The long exact sequence of homotopy
Math. Struct. Comput. Sci.
Ulrik Buchholtz, Egbert Rijke
2021 J jnl
Modal descent.
Math. Struct. Comput. Sci.
Felix Cherubini, Egbert Rijke
2020 J jnl
Modalities in homotopy type theory.
Log. Methods Comput. Sci.
Egbert Rijke, Michael Shulman, Bas Spitters
2020 A* conf
Sequential Colimits in Homotopy Type Theory.
LICS
Kristina Sojakova, Floris van Doorn, Egbert Rijke
2018 A* conf
Higher Groups in Homotopy Type Theory.
LICS
Ulrik Buchholtz, Floris van Doorn, Egbert Rijke
2018 J jnl
Higher Groups in Homotopy Type Theory.
CoRR
Ulrik Buchholtz, Floris van Doorn, Egbert Rijke
2017 J jnl
Modalities in homotopy type theory.
CoRR
Egbert Rijke, Michael Shulman, Bas Spitters
2017 A* conf
The real projective spaces in homotopy type theory.
LICS
Ulrik Buchholtz, Egbert Rijke
2016 J jnl
The Cayley-Dickson Construction in Homotopy Type Theory.
CoRR
Ulrik Buchholtz, Egbert Rijke
2015 J jnl
Sets in homotopy type theory.
Math. Struct. Comput. Sci.
Egbert Rijke, Bas Spitters
2013 J jnl
Sets in homotopy type theory
CoRR
Egbert Rijke, Bas Spitters