Sets in homotopy type theory. - Egbert Rijke; Bas Spitters (Math. Struct. Comput. Sci., 2015)

The Cayley-Dickson Construction in Homotopy Type Theory. - Ulrik Buchholtz; Egbert Rijke (CoRR, 2016)

The real projective spaces in homotopy type theory. - Ulrik Buchholtz; Egbert Rijke (LICS, 2017)

Higher Groups in Homotopy Type Theory. - Ulrik Buchholtz; Floris van Doorn; Egbert Rijke (LICS, 2018)

Sequential Colimits in Homotopy Type Theory. - Kristina Sojakova; Floris van Doorn; Egbert Rijke (LICS, 2020)

Modalities in homotopy type theory. - Egbert Rijke; Michael Shulman; Bas Spitters (Log. Methods Comput. Sci., 2020)

Modal descent. - Felix Cherubini; Egbert Rijke (Math. Struct. Comput. Sci., 2021)

Central H-spaces and banded types. - Ulrik Buchholtz; J. Daniel Christensen; Jarl G. Taxerås Flaten; Egbert Rijke (CoRR, 2023)

The long exact sequence of homotopy n-groups. - Ulrik Buchholtz; Egbert Rijke (Math. Struct. Comput. Sci., 2023)

Epimorphisms and Acyclic Types in Univalent Mathematics. - Ulrik Buchholtz; Tom de Jong; Egbert Rijke (CoRR, 2024)

Algebraic Presentations of Type Dependency. - Benedikt Ahrens; Jacopo Emmenegger; Paige Randall North; Egbert Rijke (Log. Methods Comput. Sci., 2025)