Suivre
Ulrik Buchholtz
Titre
Citée par
Citée par
Année
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
672018
Varieties of cubical sets
U Buchholtz, E Morehouse
Relational and Algebraic Methods in Computer Science: 16th International …, 2017
452017
Homotopy type theory in lean
F van Doorn, J von Raumer, U Buchholtz
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
362017
Cellular cohomology in homotopy type theory
U Buchholtz, KB Hou Favonia
Proceedings of the 33rd annual acm/ieee symposium on logic in computer …, 2018
302018
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
282017
Symmetry
M Bezem, U Buchholtz, P Cagne, BI Dundas, DR Grayson
Book in progress, 2022
262022
Synthetic fibered -category theory
U Buchholtz, J Weinberger
arXiv preprint arXiv:2105.01724, 2021
212021
The Cayley-Dickson construction in homotopy type theory
U Buchholtz, E Rijke
arXiv preprint arXiv:1610.01134, 2016
152016
Central H-spaces and banded types
U Buchholtz, JD Christensen, JGT Flaten, E Rijke
arXiv preprint arXiv:2301.02636, 2023
122023
Higher structures in homotopy type theory
U Buchholtz
Reflections on the Foundations of Mathematics: Univalent Foundations, Set …, 2019
112019
Unfolding of systems of inductive definitions
UT Buchholtz
Stanford University, 2013
92013
Directed univalence in simplicial homotopy type theory
D Gratzer, J Weinberger, U Buchholtz
arXiv preprint arXiv:2407.09146, 2024
82024
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
52017
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
42024
Theories of proof-theoretic strength ψ (ΓΩ)
U Buchholtz, G Jäger, T Strahm
Concepts of proof in mathematics, philosophy, and computer science, 115, 0
4
Unordered pairs in homotopy type theory
U Buchholtz
Preprint, 2023
32023
Type-theoretic modalities for synthetic (∞, 1)-categories
U Buchholtz, J Weinberger
Talk at the 1st International Conference on Homotopy Type Theory 2019, 20-79, 2019
32019
The Yoneda embedding in simplicial type theory
D Gratzer, J Weinberger, U Buchholtz
arXiv preprint arXiv:2501.13229, 2025
22025
Construction of the circle in UniMath
M Bezem, U Buchholtz, DR Grayson, M Shulman
Journal of Pure and Applied Algebra 225 (10), 106687, 2021
22021
Syntactic forcing models for coherent logic
M Bezem, U Buchholtz, T Coquand
Indagationes Mathematicae 29 (6), 1441-1464, 2018
22018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20