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
