| 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 | 66 | 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 | 32 | 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 | 28 | 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 -category theory U Buchholtz, J Weinberger arXiv preprint arXiv:2105.01724, 2021 | 18 | 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 LjubljanaVerified email at fmf.uni-lj.si
