Modalities in homotopy type theory E Rijke, M Shulman, B Spitters Logical Methods in Computer Science 16, 2020 | 105 | 2020 |

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 | 61 | 2018 |

The join construction E Rijke arXiv preprint arXiv:1701.07538, 2017 | 45 | 2017 |

Sets in homotopy type theory ^{†} E Rijke, B Spitters Mathematical Structures in Computer Science 25 (5), 1172-1202, 2015 | 36 | 2015 |

Introduction to homotopy type theory E Rijke arXiv preprint arXiv:2212.11082, 2022 | 31 | 2022 |

Localization in homotopy type theory JD Christensen, M Opie, E Rijke, L Scoccola arXiv preprint arXiv:1807.04155, 2018 | 28 | 2018 |

Classifying Types E Rijke arXiv preprint arXiv:1906.09435, 2019 | 25 | 2019 |

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 | 24 | 2017 |

Modal descent F Cherubini, E Rijke Mathematical Structures in Computer Science 31 (4), 363-391, 2021 | 16 | 2021 |

Homotopy type theory EM Rijke | 16 | 2012 |

The Cayley-Dickson construction in homotopy type theory U Buchholtz, E Rijke arXiv preprint arXiv:1610.01134, 2016 | 14 | 2016 |

Characterizations of modalities and lex modalities JD Christensen, E Rijke Journal of Pure and Applied Algebra 226 (3), 106848, 2022 | 8 | 2022 |

The join construction.(2017) E Rijke arXiv preprint arXiv:1701.07538, 2017 | 8 | 2017 |

Central H-spaces and banded types U Buchholtz, JD Christensen, JGT Flaten, E Rijke arXiv preprint arXiv:2301.02636, 2023 | 7 | 2023 |

Univalent mathematics in Agda E Rijke, E Bonnevier, J Prieto-Cubides | 7 | 2021 |

Modalities in homotopy type theory, Log E Rijke, M Shulman, B Spitters Methods Comput. Sci 16 (1), 2020 | 7 | 2020 |

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 | 6 | 2020 |

The long exact sequence of homotopy -groups U Buchholtz, E Rijke arXiv preprint arXiv:1912.08696, 2019 | 2 | 2019 |

Homotopy Type Theory: Univalent Foundations of Mathematics P Aczel, B Ahrens, T Altenkirch, S Awodey, B Barras, A Bauer, Y Bertot, ... HAL 2013, 2013 | 2 | 2013 |

Algebraic Presentations of Dependent Type Theories B Ahrens, J Emmenegger, PR North, E Rijke arXiv preprint arXiv:2111.09948, 2021 | 1 | 2021 |