Modalities in homotopy type theory E Rijke, M Shulman, B Spitters
Logical Methods in Computer Science 16, 2020
126 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
67 2018 The join construction E Rijke
arXiv preprint arXiv:1701.07538, 2017
52 2017 Introduction to homotopy type theory E Rijke
arXiv preprint arXiv:2212.11082, 2022
49 2022 Sets in homotopy type theory † E Rijke, B Spitters
Mathematical Structures in Computer Science 25 (5), 1172-1202, 2015
43 2015 Localization in homotopy type theory JD Christensen, M Opie, E Rijke, L Scoccola
arXiv preprint arXiv:1807.04155, 2018
29 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
25 2019 Synthetic fibered U Buchholtz, J Weinberger
arXiv preprint arXiv:2105.01724, 2021
21 2021 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 Homotopy type theory: univalent foundations of mathematics P Aczel, B Ahrens, T Altenkirch, S Awodey, B Barras, A Bauer, Y Bertot, ...
The Univalent Foundations Program Institute for Advanced Study, 2013
15 2013 Introduction to homotopy type theory, 2022 E Rijke
URL: https://arxiv. org/abs/2212.11082, 2022
14 2022 Central H-spaces and banded types U Buchholtz, JD Christensen, JGT Flaten, E Rijke
arXiv preprint arXiv:2301.02636, 2023
12 2023 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 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
7 2020 