Ulrik Buchholtz

22 papers A* 4B 1C 1Journal 16

Year	Rank	Type	Title / 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