Niels van der Weide
From MaRDI portal
Person:2133177
Available identifiers
zbMath Open van-der-weide.nielsMaRDI QIDQ2133177
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Bicategorical type theory: semantics and syntax | 2024-03-05 | Paper |
Univalent Double Categories | 2023-10-13 | Paper |
Bicategories in univalent foundations | 2022-12-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q5089004 | 2022-07-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q5089035 | 2022-07-18 | Paper |
The construction of set-truncated higher inductive types | 2022-04-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4989403 | 2021-05-25 | Paper |
Constructing Higher Inductive Types as Groupoid Quotients | 2021-01-21 | Paper |
Bicategories in Univalent Foundations | 2019-03-04 | 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: Niels van der Weide