Niels van der Weide

Available identifiers

zbMath Open van-der-weide.nielsMaRDI QIDQ2133177

List of research outcomes

Publication	Date of Publication	Type
Semantics for two-dimensional type theory	2024-12-06	Paper
Certifying higher-order polynomial interpretations	2024-11-26	Paper
The formal theory of monads, univalently	2024-10-21	Paper
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
The Formal Theory of Monads, Univalently	N/A	Paper
Univalent Enriched Categories and the Enriched Rezk Completion	N/A	Paper
Insights From Univalent Foundations: A Case Study Using Double Categories	N/A	Paper

Research outcomes over time

This page was built for person: Niels van der Weide