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