Niels van der Weide

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

Collaborative distances:

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

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

The internal languages of univalent categories.

Niels van der Weide

CoRR, 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