Niels van der Weide
Radboud Universiteit
H-index: 6
Europe-Netherlands
Top articles of Niels van der Weide
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Insights From Univalent Foundations: A Case Study Using Double Categories | arXiv preprint arXiv:2402.05265 | Nima Rasekh Niels van der Weide Benedikt Ahrens Paige Randall North | 2024/2/7 |
Univalent Enriched Categories and the Enriched Rezk Completion | arXiv preprint arXiv:2401.11752 | Niels van der Weide | 2024/1/22 |
Displayed Monoidal Categories for the Semantics of Linear Logic | Benedikt Ahrens Ralph Matthes Niels Van Der Weide Kobe Wullaert | 2024/1/9 | |
Univalent double categories | Niels Van Der Weide Nima Rasekh Benedikt Ahrens Paige Randall North | 2024/1/9 | |
Normalization for the simply typed λ-calculus | Bálint Kocsis Niels van der Weide Herman Geuvers | 2024/3/1 | |
Bachelor’s Thesis Computing Science | Luc Schrauwen Sven-Bodo Scholz Peter Achten | 2024/1/26 | |
Enriched Categories in Univalent Foundations | 29th International Conference on Types for Proofs and Programs TYPES 2023–Abstracts | Niels van der Weide | 2023/4/22 |
Certifying higher-order polynomial interpretations | arXiv preprint arXiv:2302.11892 | Niels van der Weide Deivid Vale Cynthia Kop | 2023/2/23 |
nmvdw/Nijn: 1.0. 0 | NM van der Weide D Vale | 2023 | |
Nijn/ONijn: A New Certification Engine for Higher-Order Termination | Cynthia Kop Deivid Vale NM van der Weide | 2023 | |
Bicategorical type theory: semantics and syntax | Mathematical Structures in Computer Science | Benedikt Ahrens Paige Randall North Niels Van Der Weide | 2023/11 |
The Formal Theory of Monads, Univalently | arXiv preprint arXiv:2212.08515 | Niels van der Weide | 2022/12/16 |
Formalizing Higher-Order Termination in Coq | arXiv preprint arXiv:2112.05715 | Deivid Vale Niels van der Weide | 2021/12/10 |
Bicategories in univalent foundations | Mathematical Structures in Computer Science | Benedikt Ahrens Dan Frumin Marco Maggesi Niccoló Veltri Niels Van Der Weide | 2021/11 |
Constructing higher inductive types as groupoid quotients | Logical Methods in Computer Science | Niccolò Veltri Niels Van Der Weide | 2021/4/22 |
Constructing Higher Inductive Types | Nicolaas Matthias van der Weide | 2020 |
