Ulrik Buchholtz

Identifiers

No identifiers captured yet.

Papers (7)

1. Higher Structures in Homotopy Type Theory math.LO · 2018 · author #1
2. Higher Groups in Homotopy Type Theory cs.LO · 2018 · author #1
3. Syntactic Forcing Models for Coherent Logic math.LO · 2017 · author #2
4. Homotopy Type Theory in Lean cs.LO · 2017 · author #3
5. The real projective spaces in homotopy type theory math.AT · 2017 · author #1
6. Varieties of Cubical Sets math.CT · 2017 · author #1
7. The Cayley-Dickson Construction in Homotopy Type Theory math.AT · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Egbert Rijke 3 shared papers
• Floris van Doorn 2 shared papers
• Edward Morehouse 1 shared papers
• Jakob von Raumer 1 shared papers
• Marc Bezem 1 shared papers
• Thierry Coquand 1 shared papers