Ulrik Torben Buchholtz

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Mathematical Foundations

Computer Science

Top Venues

Publications

Pierre Cagne, Ulrik Torben Buchholtz, Nicolai Kraus, Marc Bezem
On symmetries of spheres in univalent foundations. LICS (2024)
Ulrik Torben Buchholtz, Johannes Schipp von Branitz
Primitive Recursive Dependent Type Theory. LICS (2024)