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
652018
Varieties of cubical sets
U Buchholtz, E Morehouse
Relational and Algebraic Methods in Computer Science: 16th International …, 2017
432017
Homotopy type theory in Lean
F van Doorn, J von Raumer, U Buchholtz
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
312017
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
272017
Cellular cohomology in homotopy type theory
U Buchholtz, KB Hou Favonia
Proceedings of the 33rd annual acm/ieee symposium on logic in computer …, 2018
252018
Symmetry
M Bezem, U Buchholtz, P Cagne, BI Dundas, DR Grayson
Book in progress, 2022
192022
Synthetic fibered -category theory
U Buchholtz, J Weinberger
arXiv preprint arXiv:2105.01724, 2021
162021
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
112019
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
52017
Unordered pairs in homotopy type theory
U Buchholtz
Preprint, 2023
32023
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
Type-theoretic modalities for synthetic (∞, 1)-categories
U Buchholtz, J Weinberger
Conference talk, HoTT, 2019
22019
Syntactic forcing models for coherent logic
M Bezem, U Buchholtz, T Coquand
Indagationes Mathematicae 29 (6), 1441-1464, 2018
22018
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
12024
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
Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability
J Weinberger, B Ahrens, U Buchholtz, P North
12022
Using Displayed Univalent Graphs to Formalize Higher Groups in Univalent Foundations
JS von Branitz, U Buchholtz
Unpublished manuscript, October, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20