Ulrik Buchholtz

Orcid: 0000-0002-5944-6838

Affiliations:
  • University of Nottingham, UK


According to our database1, Ulrik Buchholtz authored at least 14 papers between 2016 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Directed univalence in simplicial homotopy type theory.
CoRR, 2024

Epimorphisms and Acyclic Types in Univalent Mathematics.
CoRR, 2024

On symmetries of spheres in univalent foundations.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Primitive Recursive Dependent Type Theory.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023
The long exact sequence of homotopy <i>n</i>-groups.
Math. Struct. Comput. Sci., 2023

Central H-spaces and banded types.
CoRR, 2023

2021
Synthetic fibered (∞, 1)-category theory.
CoRR, 2021

2020
Cellular Cohomology in Homotopy Type Theory.
Log. Methods Comput. Sci., 2020

2019
Construction of the Circle in UniMath.
CoRR, 2019

2018
Higher Groups in Homotopy Type Theory.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017
The real projective spaces in homotopy type theory.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Homotopy Type Theory in Lean.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Varieties of Cubical Sets.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016
The Cayley-Dickson Construction in Homotopy Type Theory.
CoRR, 2016


  Loading...