Modalities in homotopy type theory E Rijke, M Shulman, B Spitters
Logical Methods in Computer Science 16, 2020
111 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
63 2018 The join construction E Rijke
arXiv preprint arXiv:1701.07538, 2017
45 2017 Introduction to homotopy type theory E Rijke
arXiv preprint arXiv:2212.11082, 2022
38 2022 Sets in homotopy type theory † E Rijke, B Spitters
Mathematical Structures in Computer Science 25 (5), 1172-1202, 2015
37 2015 Localization in homotopy type theory JD Christensen, M Opie, E Rijke, L Scoccola
arXiv preprint arXiv:1807.04155, 2018
30 2018 Classifying Types E Rijke
arXiv preprint arXiv:1906.09435, 2019
26 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
26 2017 Modal descent F Cherubini, E Rijke
Mathematical Structures in Computer Science 31 (4), 363-391, 2021
17 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
9 2022 The join construction.(2017) E Rijke
arXiv preprint arXiv:1701.07538, 2017
9 2017 Central H-spaces and banded types U Buchholtz, JD Christensen, JGT Flaten, E Rijke
arXiv preprint arXiv:2301.02636, 2023
8 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 Introduction to Homotopy Type Theory.(2022) E Rijke, A Caglayan
URL https://github. com/HoTT-Intro/Agda. Commit 75d334968, file “book. agda, 0
6 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, ...
Aucun, 2013
2 2013