| Multimodal Dependent Type Theory GA Kavvos, D Gratzer, A Nuyts, L Birkedal Logical Methods in Computer Science (LMCS) 17 (3), 11: 1-11: 67, 2021 | 90* | 2021 |
| Multimodal dependent type theory D Gratzer, GA Kavvos, A Nuyts, L Birkedal Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 90 | 2020 |
| Parametric quantifiers for dependent type theory A Nuyts, A Vezzosi, D Devriese Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017 | 56 | 2017 |
| Degrees of relatedness: A unified framework for parametricity, irrelevance, ad hoc polymorphism, intersections, unions and algebra in dependent type theory A Nuyts, D Devriese Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 46 | 2018 |
| Towards a directed HoTT based on 4 kinds of variance A Nuyts Master's thesis. KU Leuven, 2015 | 38 | 2015 |
| Contributions to Multimode and Presheaf Type Theory A Nuyts PhD thesis, KU Leuven, Belgium, 8 2020. URL: https://anuyts. github. io …, 2020 | 15 | 2020 |
| A categorical approach to secure compilation S Tsampas, A Nuyts, D Devriese, F Piessens International Workshop on Coalgebraic Methods in Computer Science, 155-179, 2020 | 13 | 2020 |
| Presheaf models of relational modalities in dependent type theory A Nuyts arXiv preprint arXiv:1805.08684, 2018 | 12 | 2018 |
| Type theory ą la mode D Gratzer, GA Kavvos, A Nuyts, L Birkedal Type Theory ą la Mode, 2020 | 10 | 2020 |
| Transpension: The right adjoint to the pi-type A Nuyts, D Devriese Logical Methods in Computer Science 20, 2024 | 8 | 2024 |
| A model of parametric dependent type theory in bridge/path cubical sets A Nuyts arXiv preprint arXiv:1706.04383, 2017 | 8 | 2017 |
| Sikkel: Multimode Simple Type Theory as an Agda Library J Ceulemans, A Nuyts, D Devriese MSFP, 2022 | 5 | 2022 |
| Robust notions of contextual fibrancy A Nuyts Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF …, 2018 | 5 | 2018 |
| Abstract Congruence Criteria for Weak Bisimilarity S Tsampas, C Williams, A Nuyts, D Devriese, F Piessens arXiv preprint arXiv:2010.07899, 2020 | 4 | 2020 |
| The transpension type: Technical report A Nuyts arXiv preprint arXiv:2008.08530, 2020 | 4 | 2020 |
| Dependable atomicity in type theory A Nuyts, D Devriese International Conference on Types for Proofs and Programs, 2019 | 4 | 2019 |
| A Lock Calculus for Multimode Type Theory A Nuyts TYPES, 2023 | 3 | 2023 |
| Menkar: Towards a multimode presheaf proof assistant A Nuyts, D Devriese International Conference on Types for Proofs and Programs, 2019 | 3 | 2019 |
| Internalizing Presheaf Semantics-Charting the Design Space A Nuyts, D Devriese Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF …, 2018 | 3 | 2018 |
| Internal and Observational Parametricity for Cubical Agda A Van Muylder, A Nuyts, D Devriese Proceedings of the ACM on Programming Languages 8 (POPL), 209-240, 2024 | 2 | 2024 |
Dominique DevrieseKU LeuvenVerified email at kuleuven.be
