| Higher inductive types in programming H Basold, H Geuvers, NM van der Weide | 36 | 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 | 32 | 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 | 30 | 2018 |
| Bicategorical type theory: semantics and syntax B Ahrens, PR North, N Van Der Weide Mathematical Structures in Computer Science 33 (10), 868-912, 2023 | 14* | 2023 |
| Guarded recursion in agda via sized types N Veltri, N van der Weide 4th International Conference on Formal Structures for Computation and …, 2019 | 13 | 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 |
| 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 Enriched Categories and the Enriched Rezk Completion N van der Weide arXiv preprint arXiv:2401.11752, 2024 | 4 | 2024 |
| 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 |
| 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 |
| The Internal Language of Univalent Categories N van der Weide 30th International Conference on Types for Proofs and Programs TYPES 2024 …, 2024 | | 2024 |
| The Univalence Maxim and Univalent Double Categories N Rasekh, N van der Weide, B Ahrens, PR North 30th International Conference on Types for Proofs and Programs TYPES 2024 …, 2024 | | 2024 |
| The Interval Domain in Homotopy Type Theory N van der Weide, D Frumin Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman …, 2024 | | 2024 |
| Normalization for the simply typed λ-calculus B Kocsis, N van der Weide, H Geuvers | | 2024 |
| 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 |
| The Interval Domain in Homotopy Type Theory N Weide, D Frumin Cham: Springer Nature Switzerland, 2024 | | 2024 |
