Ulrik Buchholtz

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 19

Top Topics

Theoretical Basis

Real Images Are Presented

Computational Model

Top Venues

Publications

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