| Modalities in homotopy type theory E Rijke, M Shulman, B Spitters Logical Methods in Computer Science 16, 2020 | 129 | 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 | 68 | 2018 |
| The join construction E Rijke arXiv preprint arXiv:1701.07538, 2017 | 49 | 2017 |
| Introduction to homotopy type theory E Rijke arXiv preprint arXiv:2212.11082, 2022 | 48 | 2022 |
| Sets in homotopy type theory † E Rijke, B Spitters Mathematical Structures in Computer Science 25 (5), 1172-1202, 2015 | 42 | 2015 |
| Localization in homotopy type theory JD Christensen, M Opie, E Rijke, L Scoccola arXiv preprint arXiv:1807.04155, 2018 | 32 | 2018 |
| 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 | 28 | 2017 |
| Classifying Types E Rijke arXiv preprint arXiv:1906.09435, 2019 | 27 | 2019 |
| Homotopy type theory EM Rijke | 16 | 2012 |
| Modal descent F Cherubini, E Rijke Mathematical Structures in Computer Science 31 (4), 363-391, 2021 | 15 | 2021 |
| The Cayley-Dickson construction in homotopy type theory U Buchholtz, E Rijke arXiv preprint arXiv:1610.01134, 2016 | 15 | 2016 |
| Introduction to homotopy type theory.(2022) E Rijke, A Caglayan URL: https://arxiv. org/abs/2212.11082 v1, 2022 | 13 | 2022 |
| 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 | 11 | 2020 |
| Central H-spaces and banded types U Buchholtz, JD Christensen, JGT Flaten, E Rijke arXiv preprint arXiv:2301.02636, 2023 | 10 | 2023 |
| The join construction.(2017) E Rijke arXiv preprint arXiv:1701.07538, 2017 | 10 | 2017 |
| Univalent mathematics in Agda E Rijke, E Bonnevier, J Prieto-Cubides, F Bakke | 9 | 2023 |
| Characterizations of modalities and lex modalities JD Christensen, E Rijke Journal of Pure and Applied Algebra 226 (3), 106848, 2022 | 9 | 2022 |
| Modalities in homotopy type theory, Log E Rijke, M Shulman, B Spitters Methods Comput. Sci 16 (1), 2020 | 8 | 2020 |
| B-systems and C-systems are equivalent B Ahrens, J Emmenegger, PR North, E Rijke The Journal of Symbolic Logic, 1-9, 2023 | 6 | 2023 |
| The agda-unimath library E Rijke, E Bonnevier, J Prieto-Cubides, F Bakke | 2 | 2021 |
