Higher Inductive Types in Programming. - Henning Basold; Herman Geuvers; Niels van der Weide (J. Univers. Comput. Sci., 2017)

Finite sets in homotopy type theory. - Dan Frumin; Herman Geuvers; Léon Gondelman; Niels van der Weide (CPP, 2018)

Bicategories in Univalent Foundations. - Benedikt Ahrens; Dan Frumin; Marco Maggesi; Niels van der Weide (FSCD, 2019)

Guarded Recursion in Agda via Sized Types. - Niccolò Veltri; Niels van der Weide (FSCD, 2019)

The Construction of Set-Truncated Higher Inductive Types. - Niels van der Weide; Herman Geuvers (MFPS, 2019)

Constructing Higher Inductive Types as Groupoid Quotients. - Niels van der Weide (LICS, 2020)

Formalizing Higher-Order Termination in Coq. - Deivid Vale; Niels van der Weide (CoRR, 2021)

Constructing Higher Inductive Types as Groupoid Quotients. - Niccolò Veltri; Niels van der Weide (Log. Methods Comput. Sci., 2021)

Bicategories in univalent foundations. - Benedikt Ahrens; Dan Frumin; Marco Maggesi; Niccolò Veltri; Niels van der Weide (Math. Struct. Comput. Sci., 2021)

Semantics for two-dimensional type theory. - Benedikt Ahrens; Paige Randall North; Niels van der Weide (LICS, 2022)

Certifying Higher-Order Polynomial Interpretations. - Niels van der Weide; Deivid Vale; Cynthia Kop (ITP, 2023)

Bicategorical type theory: semantics and syntax. - Benedikt Ahrens; Paige Randall North; Niels van der Weide (Math. Struct. Comput. Sci., 2023)

The Interval Domain in Homotopy Type Theory. - Niels van der Weide; Dan Frumin (Logics and Type Systems in Theory and Practice, 2024)

Displayed Monoidal Categories for the Semantics of Linear Logic. - Benedikt Ahrens; Ralph Matthes; Niels van der Weide; Kobe Wullaert (CPP, 2024)

Univalent Double Categories. - Niels van der Weide; Nima Rasekh; Benedikt Ahrens; Paige Randall North (CPP, 2024)

Univalent Enriched Categories and the Enriched Rezk Completion. - Niels van der Weide (FSCD, 2024)

The internal languages of univalent categories. - Niels van der Weide (CoRR, 2024)

Intrinsically Correct Sorting in Cubical Agda. - Cass Alexandru; Vikraman Choudhury; Jurriaan Rot; Niels van der Weide (CPP, 2025)

Insights from Univalent Foundations: A Case Study Using Double Categories. - Nima Rasekh; Niels van der Weide; Benedikt Ahrens; Paige Randall North (CSL, 2025)

Impredicative Encodings of Inductive and Coinductive Types. - Steven Bronsveld; Herman Geuvers; Niels van der Weide (FSCD, 2025)

The Formal Theory of Monads, Univalently. - Niels van der Weide (Log. Methods Comput. Sci., 2025)

A Type Theory for Comprehension Categories with Applications to Subtyping. - Niyousha Najmaei; Niels van der Weide; Benedikt Ahrens; Paige Randall North (CoRR, 2025)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types. - Steven Bronsveld; Herman Geuvers; Niels van der Weide (CoRR, 2025)