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 Varieties of cubical sets U Buchholtz, E Morehouse
Relational and Algebraic Methods in Computer Science: 16th International …, 2017
44 2017 Homotopy type theory in Lean F van Doorn, J von Raumer, U Buchholtz
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
33 2017 Cellular cohomology in homotopy type theory U Buchholtz, KB Hou Favonia
Proceedings of the 33rd annual acm/ieee symposium on logic in computer …, 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 Symmetry M Bezem, U Buchholtz, P Cagne, BI Dundas, DR Grayson
Book in progress, 2023
21 2023 Synthetic fibered U Buchholtz, J Weinberger
arXiv preprint arXiv:2105.01724, 2021
17 2021 The Cayley-Dickson construction in homotopy type theory U Buchholtz, E Rijke
arXiv preprint arXiv:1610.01134, 2016
15 2016 Higher structures in homotopy type theory U Buchholtz
Reflections on the Foundations of Mathematics: Univalent Foundations, Set …, 2019
12 2019 Central H-spaces and banded types U Buchholtz, JD Christensen, JGT Flaten, E Rijke
arXiv preprint arXiv:2301.02636, 2023
10 2023 Unfolding of systems of inductive definitions UT Buchholtz
Stanford University, 2013
8 2013 Varieties of cubical sets, Relational and Algebraic Methods in Computer Science (Cham)(Peter Höfner, Damien Pous, and Georg Struth, eds.) U Buchholtz, E Morehouse
Springer International Publishing, 2017
6 2017 Unordered pairs in homotopy type theory U Buchholtz
Preprint, 2023
3 2023 Theories of proof-theoretic strength ψ (ΓΩ) U Buchholtz, G Jäger, T Strahm
Concepts of proof in mathematics, philosophy, and computer science 6, 115, 2016
3 2016 Directed univalence in simplicial homotopy type theory D Gratzer, J Weinberger, U Buchholtz
arXiv preprint arXiv:2407.09146, 2024
2 2024 Type-theoretic modalities for synthetic (∞, 1)-categories U Buchholtz, J Weinberger
Conference talk, HoTT, 2019
2 2019 Syntactic forcing models for coherent logic M Bezem, U Buchholtz, T Coquand
Indagationes Mathematicae 29 (6), 1441-1464, 2018
2 2018 On symmetries of spheres in univalent foundations P Cagne, UT Buchholtz, N Kraus, M Bezem
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024
1 2024 Synthetic Tait computability for simplicial type theory J Weinberger, B Ahrens, U Buchholtz, P North
28th International Conference on Types for Proofs and Programs (TYPES 2022), 2022
1 2022 Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability J Weinberger, B Ahrens, U Buchholtz, P North
1 2022 
Egbert RijkePostdoc in Mathematics, University of LjubljanaE-mail confirmado em fmf.uni-lj.si