Niels van der Weide

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Mathematical Structures in Computer Science	2024-03-05	Paper
Univalent Double Categories	2023-10-13	Paper
Bicategories in univalent foundations Mathematical Structures in Computer Science	2022-12-09	Paper
scientific article; zbMATH DE number 7559271 (Why is no real title available?) (available as arXiv preprint)	2022-07-18	Paper
scientific article; zbMATH DE number 7559298 (Why is no real title available?)	2022-07-18	Paper
The construction of set-truncated higher inductive types	2022-04-29	Paper
Constructing higher inductive types as groupoid quotients (available as arXiv preprint)	2021-05-25	Paper
Constructing higher inductive types as groupoid quotients	2021-05-25	Paper
Constructing higher inductive types as groupoid quotients Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Bicategories in Univalent Foundations (available as arXiv preprint)	2019-03-04	Paper
The Formal Theory of Monads, Univalently (available as arXiv preprint)	N/A	Paper
Univalent Enriched Categories and the Enriched Rezk Completion (available as arXiv preprint)	N/A	Paper
Insights From Univalent Foundations: A Case Study Using Double Categories (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Niels van der Weide