| Higher inductive types in programming H Basold, H Geuvers, NM van der Weide | 29 | 2017 |
| 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 | 15 | 2018 |
| Bicategories in univalent foundations B Ahrens, D Frumin, M Maggesi, N Veltri, N van der Weide arXiv preprint arXiv:1903.01152, 2019 | 10 | 2019 |
| Higher inductive types N van der Weide Radboud University, Nijmegen. Master’s thesis, 2016 | 9 | 2016 |
| Guarded recursion in agda via sized types N Veltri, NM van der Weide Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019 | 6 | 2019 |
| The construction of set-truncated higher inductive types N van der Weide, H Geuvers Electronic Notes in Theoretical Computer Science 347, 261-280, 2019 | 4 | 2019 |
| Constructing Higher Inductive Types as Groupoid Quotients N van der Weide, N Veltri Logical Methods in Computer Science 17, 2021 | 2 | 2021 |
| Semantics for two-dimensional type theory B Ahrens, PR North, N van der Weide arXiv preprint arXiv:2201.10662, 2022 | | 2022 |
| Formalizing Higher-Order Termination in Coq D Vale, N van der Weide arXiv preprint arXiv:2112.05715, 2021 | | 2021 |
| Constructing Higher Inductive Types NM van der Weide [Sl: sn], 2020 | | 2020 |
| Free Algebraic Theories as Higher Inductive Types H Basold, N van der Weide, N Veltri | | 2019 |
| Category Theory in UniMath N van der Weide | | 2019 |
| 1-Types versus Groupoids N van der Weide, D Frumin, H Geuvers TYPES 2018, 86, 2018 | | 2018 |
| Computing Exact Solutions of Initial Value Problems N van der Weide | | |
| Model Structures on Toposes N van der Weide | | |
