Ulrik Buchholtz
From MaRDI portal
Person:1687769
Available identifiers
zbMath Open buchholtz.ulrikDBLP188/6106WikidataQ59749232 ScholiaQ59749232MaRDI QIDQ1687769
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| The long exact sequence of homotopy n-groups | 2024-03-05 | Paper |
| Higher Structures in Homotopy Type Theory | 2023-09-20 | Paper |
| Central H-spaces and banded types | 2023-01-06 | Paper |
| Construction of the circle in \textit{UniMath} | 2021-06-09 | Paper |
| Higher Groups in Homotopy Type Theory | 2021-01-20 | Paper |
| Cellular Cohomology in Homotopy Type Theory | 2021-01-20 | Paper |
| The real projective spaces in homotopy type theory | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5114825 | 2020-06-26 | Paper |
| Theories of Proof-Theoretic Strength Ψ (ΓΩ +1) | 2020-04-03 | Paper |
| Construction of the Circle in UniMath | 2019-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3121020 | 2019-03-19 | Paper |
| Syntactic forcing models for coherent logic | 2018-10-08 | Paper |
| Homotopy type theory in Lean | 2018-01-04 | Paper |
| Varieties of Cubical Sets | 2017-07-21 | Paper |
| The Cayley-Dickson Construction in Homotopy Type Theory | 2016-10-04 | Paper |
| Primitive Recursive Dependent Type Theory | 0001-01-03 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Ulrik Buchholtz
