Niels van der Weide

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 24

Top Topics

Top Venues

Math. Struct. Comput. Sci.

Publications

Niels van der Weide, Dan Frumin
The Interval Domain in Homotopy Type Theory. Logics and Type Systems in Theory and Practice (2024)
Niels van der Weide
Univalent Enriched Categories and the Enriched Rezk Completion. FSCD (2024)
Niels van der Weide
Univalent Enriched Categories and the Enriched Rezk Completion. CoRR (2024)
Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North
Univalent Double Categories. CPP (2024)
Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert
Displayed Monoidal Categories for the Semantics of Linear Logic. CPP (2024)
Niels van der Weide, Deivid Vale, Cynthia Kop
Certifying Higher-Order Polynomial Interpretations. ITP (2023)
Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North
Univalent Double Categories. CoRR (2023)
Niels van der Weide, Deivid Vale, Cynthia Kop
Certifying Higher-Order Polynomial Interpretations. CoRR (2023)
Niels van der Weide
The Formal Theory of Monads, Univalently. FSCD (2023)
Benedikt Ahrens, Paige Randall North, Niels van der Weide
Bicategorical type theory: semantics and syntax. Math. Struct. Comput. Sci. 33 (10) (2023)
Benedikt Ahrens, Paige Randall North, Niels van der Weide
Semantics for two-dimensional type theory. LICS (2022)
Niels van der Weide
The Formal Theory of Monads, Univalently. CoRR (2022)
Benedikt Ahrens, Paige Randall North, Niels van der Weide
Semantics for two-dimensional type theory. CoRR (2022)
Niccolò Veltri, Niels van der Weide
Constructing Higher Inductive Types as Groupoid Quotients. Log. Methods Comput. Sci. 17 (2) (2021)
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide
Bicategories in univalent foundations. Math. Struct. Comput. Sci. 31 (10) (2021)
Deivid Vale, Niels van der Weide
Formalizing Higher-Order Termination in Coq. CoRR (2021)
Niels van der Weide
Constructing Higher Inductive Types as Groupoid Quotients. CoRR (2020)
Niels van der Weide
Constructing Higher Inductive Types as Groupoid Quotients. LICS (2020)
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide
Bicategories in Univalent Foundations. FSCD (2019)
Niccolò Veltri, Niels van der Weide
Guarded Recursion in Agda via Sized Types. FSCD (2019)
Niels van der Weide, Herman Geuvers
The Construction of Set-Truncated Higher Inductive Types. MFPS (2019)
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide
Bicategories in Univalent Foundations. CoRR (2019)
Dan Frumin, Herman Geuvers, Léon Gondelman, Niels van der Weide
Finite sets in homotopy type theory. CPP (2018)
Henning Basold, Herman Geuvers, Niels van der Weide
Higher Inductive Types in Programming. J. Univers. Comput. Sci. 23 (1) (2017)