Niels van der Weide

37 papers A* 3B 13Journal 20Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
From Semantics to Syntax: A Type Theory for Comprehension Categories.
Proc. ACM Program. Lang.
Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens, Paige Randall North
2026 J jnl
Impredicativity in Linear Dependent Type Theory.
CoRR
Sam Speight, Niels van der Weide
2026 J jnl
The Rezk Completion for Elementary Topoi.
CoRR
Kobe Wullaert, Niels van der Weide
2025 J jnl
A Type Theory for Comprehension Categories with Applications to Subtyping.
CoRR
Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens, Paige Randall North
2025 B conf
Impredicative Encodings of Inductive and Coinductive Types.
FSCD
Steven Bronsveld, Herman Geuvers, Niels van der Weide
2025 B conf
Initial Algebras of Domains via Quotient Inductive-Inductive Types.
MFPS
Simcha van Collem, Niels van der Weide, Herman Geuvers
2025 B conf
Insights from Univalent Foundations: A Case Study Using Double Categories.
CSL
Nima Rasekh, Niels van der Weide, Benedikt Ahrens, Paige Randall North
2025 B conf
Intrinsically Correct Sorting in Cubical Agda.
CPP
Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide
2025 J jnl
Master Thesis Impredicative Encodings of Inductive and Coinductive Types.
CoRR
Steven Bronsveld, Herman Geuvers, Niels van der Weide
2025 J jnl
The Formal Theory of Monads, Univalently.
Log. Methods Comput. Sci.
Niels van der Weide
2025 A* conf
The internal languages of univalent categories.
LICS
Niels van der Weide
2024 B conf
Displayed Monoidal Categories for the Semantics of Linear Logic.
CPP
Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert
2024 J jnl
Intrinsically Correct Sorting in Cubical Agda.
CoRR
Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide
2024 — conf
The Interval Domain in Homotopy Type Theory.
Logics and Type Systems in Theory and Practice
Niels van der Weide, Dan Frumin
2024 J jnl
The internal languages of univalent categories.
CoRR
Niels van der Weide
2024 B conf
Univalent Double Categories.
CPP
Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North
2024 B conf
Univalent Enriched Categories and the Enriched Rezk Completion.
FSCD
Niels van der Weide
2024 J jnl
Univalent Enriched Categories and the Enriched Rezk Completion.
CoRR
Niels van der Weide
2023 J jnl
Bicategorical type theory: semantics and syntax.
Math. Struct. Comput. Sci.
Benedikt Ahrens, Paige Randall North, Niels van der Weide
2023 B conf
Certifying Higher-Order Polynomial Interpretations.
ITP
Niels van der Weide, Deivid Vale, Cynthia Kop
2023 J jnl
Certifying Higher-Order Polynomial Interpretations.
CoRR
Niels van der Weide, Deivid Vale, Cynthia Kop
2023 B conf
The Formal Theory of Monads, Univalently.
FSCD
Niels van der Weide
2023 J jnl
Univalent Double Categories.
CoRR
Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North
2022 A* conf
Semantics for two-dimensional type theory.
LICS
Benedikt Ahrens, Paige Randall North, Niels van der Weide
2022 J jnl
Semantics for two-dimensional type theory.
CoRR
Benedikt Ahrens, Paige Randall North, Niels van der Weide
2022 J jnl
The Formal Theory of Monads, Univalently.
CoRR
Niels van der Weide
2021 J jnl
Bicategories in univalent foundations.
Math. Struct. Comput. Sci.
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide
2021 J jnl
Constructing Higher Inductive Types as Groupoid Quotients.
Log. Methods Comput. Sci.
Niccolò Veltri, Niels van der Weide
2021 J jnl
Formalizing Higher-Order Termination in Coq.
CoRR
Deivid Vale, Niels van der Weide
2020 A* conf
Constructing Higher Inductive Types as Groupoid Quotients.
LICS
Niels van der Weide
2020 J jnl
Constructing Higher Inductive Types as Groupoid Quotients.
CoRR
Niels van der Weide
2019 B conf
Bicategories in Univalent Foundations.
FSCD
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide
2019 J jnl
Bicategories in Univalent Foundations.
CoRR
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide
2019 B conf
Guarded Recursion in Agda via Sized Types.
FSCD
Niccolò Veltri, Niels van der Weide
2019 B conf
The Construction of Set-Truncated Higher Inductive Types.
MFPS
Niels van der Weide, Herman Geuvers
2018 B conf
Finite sets in homotopy type theory.
CPP
Dan Frumin, Herman Geuvers, Léon Gondelman, Niels van der Weide
2017 J jnl
Higher Inductive Types in Programming.
J. Univers. Comput. Sci.
Henning Basold, Herman Geuvers, Niels van der Weide