Follow
Ulrik Buchholtz
Title
Cited by
Cited by
Year
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
352017
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
202021
The Cayley-Dickson construction in homotopy type theory
U Buchholtz, E Rijke
arXiv preprint arXiv:1610.01134, 2016
152016
Higher structures in homotopy type theory
U Buchholtz
Reflections on the Foundations of Mathematics: Univalent Foundations, Set …, 2019
132019
Central H-spaces and banded types
U Buchholtz, JD Christensen, JGT Flaten, E Rijke
arXiv preprint arXiv:2301.02636, 2023
92023
Unfolding of systems of inductive definitions
UT Buchholtz
Stanford University, 2013
82013
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
62017
Directed univalence in simplicial homotopy type theory
D Gratzer, J Weinberger, U Buchholtz
arXiv preprint arXiv:2407.09146, 2024
42024
Unordered pairs in homotopy type theory
U Buchholtz
Preprint, 2023
32023
Type-theoretic modalities for synthetic (∞, 1)-categories
U Buchholtz, J Weinberger
Conference talk, HoTT, 2019
32019
Theories of proof-theoretic strength ψ (ΓΩ)
U Buchholtz, G Jäger, T Strahm
Concepts of proof in mathematics, philosophy, and computer science 6, 115, 2016
32016
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
22024
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
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
12022
The system can't perform the operation now. Try again later.
Articles 1–20