| Higher inductive types in programming H Basold, H Geuvers, NM van der Weide | 35 | 2017 |
| Bicategories in univalent foundations B Ahrens, D Frumin, M Maggesi, N Veltri, N Van Der Weide Mathematical Structures in Computer Science 31 (10), 1232-1269, 2021 | 30 | 2021 |
| Finite sets in homotopy type theory D Frumin, H Geuvers, L Gondelman, N Weide Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018 | 27 | 2018 |
| Guarded recursion in agda via sized types N Veltri, N van der Weide 4th International Conference on Formal Structures for Computation and …, 2019 | 12 | 2019 |
| Constructing higher inductive types as groupoid quotients N Veltri, N Van Der Weide Logical Methods in Computer Science 17, 2021 | 11* | 2021 |
| Higher inductive types N van der Weide Radboud University, Nijmegen. Master’s thesis, 2016 | 9 | 2016 |
| Bicategorical type theory: semantics and syntax B Ahrens, PR North, N Van Der Weide Mathematical Structures in Computer Science 33 (10), 868-912, 2023 | 5* | 2023 |
| The construction of set-truncated higher inductive types N van der Weide, H Geuvers Electronic Notes in Theoretical Computer Science 347, 261-280, 2019 | 5 | 2019 |
| Univalent double categories N Van Der Weide, N Rasekh, B Ahrens, PR North Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024 | 4 | 2024 |
| The Formal Theory of Monads, Univalently N van der Weide arXiv preprint arXiv:2212.08515, 2022 | 3 | 2022 |
| Univalent Enriched Categories and the Enriched Rezk Completion N van der Weide arXiv preprint arXiv:2401.11752, 2024 | 2 | 2024 |
| Certifying higher-order polynomial interpretations N van der Weide, D Vale, C Kop arXiv preprint arXiv:2302.11892, 2023 | 2 | 2023 |
| Displayed Monoidal Categories for the Semantics of Linear Logic B Ahrens, R Matthes, N Van Der Weide, K Wullaert Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024 | 1 | 2024 |
| Constructing Higher Inductive Types NM van der Weide Sl: sn, 2020 | 1 | 2020 |
| Insights From Univalent Foundations: A Case Study Using Double Categories N Rasekh, N van der Weide, B Ahrens, PR North arXiv preprint arXiv:2402.05265, 2024 | | 2024 |
| Bachelor’s Thesis Computing Science D Blankvoort, N van der Weide, F Wiedijk | | 2023 |
| Enriched Categories in Univalent Foundations N van der Weide 29th International Conference on Types for Proofs and Programs TYPES 2023 …, 2023 | | 2023 |
| nmvdw/Nijn: 1.0. 0 NM van der Weide, D Vale Zenodo, 2023 | | 2023 |
| Nijn/ONijn: A New Certification Engine for Higher-Order Termination C Kop, D Vale, NM van der Weide Sl: sn, 2023 | | 2023 |
| Formalizing Higher-Order Termination in Coq D Vale, N van der Weide arXiv preprint arXiv:2112.05715, 2021 | | 2021 |
