Ulrik Buchholtz

22 papers A* 4B 1C 1Journal 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
The ∞-category of ∞categories in simplicial type theory.
CoRR
Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz
2025 A* conf
The Yoneda embedding in simplicial type theory.
LICS
Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz
2025 J jnl
The Yoneda embedding in simplicial type theory.
CoRR
Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz
2024 J jnl
Directed univalence in simplicial homotopy type theory.
CoRR
Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz
2024 J jnl
Epimorphisms and Acyclic Types in Univalent Mathematics.
CoRR
Ulrik Buchholtz, Tom de Jong, Egbert Rijke
2024 J jnl
On symmetries of spheres in univalent foundations.
CoRR
Pierre Cagne, Ulrik Buchholtz, Nicolai Kraus, Marc Bezem
2024 J jnl
Primitive Recursive Dependent Type Theory.
CoRR
Ulrik Buchholtz, Johannes Schipp von Branitz
2023 J jnl
Central H-spaces and banded types.
CoRR
Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke
2023 J jnl
The long exact sequence of homotopy
Math. Struct. Comput. Sci.
Ulrik Buchholtz, Egbert Rijke
2021 J jnl
Synthetic fibered (∞, 1)-category theory.
CoRR
Ulrik Buchholtz, Jonathan Weinberger
2020 J jnl
Cellular Cohomology in Homotopy Type Theory.
Log. Methods Comput. Sci.
Ulrik Buchholtz, Kuen-Bang Hou (Favonia)
2019 J jnl
Construction of the Circle in UniMath.
CoRR
Marc Bezem, Ulrik Buchholtz, Daniel R. Grayson
2018 A* conf
Cellular Cohomology in Homotopy Type Theory.
LICS
Ulrik Buchholtz, Kuen-Bang Hou (Favonia)
2018 J jnl
Cellular Cohomology in Homotopy Type Theory.
CoRR
Ulrik Buchholtz, Kuen-Bang Hou (Favonia)
2018 A* conf
Higher Groups in Homotopy Type Theory.
LICS
Ulrik Buchholtz, Floris van Doorn, Egbert Rijke
2018 J jnl
Higher Groups in Homotopy Type Theory.
CoRR
Ulrik Buchholtz, Floris van Doorn, Egbert Rijke
2017 B conf
Homotopy Type Theory in Lean.
ITP
Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz
2017 J jnl
Homotopy Type Theory in Lean.
CoRR
Ulrik Buchholtz, Floris van Doorn, Jakob von Raumer
2017 A* conf
The real projective spaces in homotopy type theory.
LICS
Ulrik Buchholtz, Egbert Rijke
2017 C conf
Varieties of Cubical Sets.
RAMiCS
Ulrik Buchholtz, Edward Morehouse
2017 J jnl
Varieties of Cubical Sets.
CoRR
Ulrik Buchholtz, Edward Morehouse
2016 J jnl
The Cayley-Dickson Construction in Homotopy Type Theory.
CoRR
Ulrik Buchholtz, Egbert Rijke