Niels van der Weide

According to our database, Niels van der Weide authored at least 27 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Impredicativity in Linear Dependent Type Theory.

Sam Speight, Niels van der Weide

CoRR, February, 2026

The Rezk Completion for Elementary Topoi.

Kobe Wullaert, Niels van der Weide

CoRR, January, 2026

From Semantics to Syntax: A Type Theory for Comprehension Categories.

Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens, Paige Randall North

Proc. ACM Program. Lang., 2026

2025

Initial Algebras of Domains via Quotient Inductive-Inductive Types.

Simcha van Collem, Niels van der Weide, Herman Geuvers

Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, September, 2025

Master Thesis Impredicative Encodings of Inductive and Coinductive Types.

Steven Bronsveld, Herman Geuvers, Niels van der Weide

CoRR, May, 2025

A Type Theory for Comprehension Categories with Applications to Subtyping.

Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens, Paige Randall North

CoRR, March, 2025

The internal languages of univalent categories.

Niels van der Weide

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

Impredicative Encodings of Inductive and Coinductive Types.

Steven Bronsveld, Herman Geuvers, Niels van der Weide

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

Insights from Univalent Foundations: A Case Study Using Double Categories.

Nima Rasekh, Niels van der Weide, Benedikt Ahrens, Paige Randall North

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

Intrinsically Correct Sorting in Cubical Agda.

Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024

Univalent Enriched Categories and the Enriched Rezk Completion.

Niels van der Weide

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Univalent Double Categories.

Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

Displayed Monoidal Categories for the Semantics of Linear Logic.

Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

The Interval Domain in Homotopy Type Theory.

Niels van der Weide, Dan Frumin

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

2023

Bicategorical type theory: semantics and syntax.

Benedikt Ahrens, Paige Randall North, Niels van der Weide

Math. Struct. Comput. Sci., 2023

Certifying Higher-Order Polynomial Interpretations.

Niels van der Weide, Deivid Vale, Cynthia Kop

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

The Formal Theory of Monads, Univalently.

Niels van der Weide

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Semantics for two-dimensional type theory.

Benedikt Ahrens, Paige Randall North, Niels van der Weide

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Bicategories in univalent foundations.

Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide

Math. Struct. Comput. Sci., 2021

Constructing Higher Inductive Types as Groupoid Quotients.

Niccolò Veltri, Niels van der Weide

Log. Methods Comput. Sci., 2021

Formalizing Higher-Order Termination in Coq.

Deivid Vale, Niels van der Weide

CoRR, 2021

2020

Constructing Higher Inductive Types as Groupoid Quotients.

Niels van der Weide

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

The Construction of Set-Truncated Higher Inductive Types.

Niels van der Weide, Herman Geuvers

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

Guarded Recursion in Agda via Sized Types.

Niccolò Veltri, Niels van der Weide

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Bicategories in Univalent Foundations.

Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

Finite sets in homotopy type theory.

Dan Frumin, Herman Geuvers, Léon Gondelman, Niels van der Weide

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Higher Inductive Types in Programming.

Henning Basold, Herman Geuvers, Niels van der Weide

J. Univers. Comput. Sci., 2017