Follow
Andreas Nuyts
Andreas Nuyts
Verified email at kuleuven.be - Homepage
Title
Cited by
Cited by
Year
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
83*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
832020
Parametric quantifiers for dependent type theory
A Nuyts, A Vezzosi, D Devriese
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
552017
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
442018
Towards a directed homotopy type theory based on 4 kinds of variance
A Nuyts
Mm. de mast. Katholieke Universiteit Leuven, 2015
35*2015
Contributions to Multimode and Presheaf Type Theory
A Nuyts
PhD thesis, KU Leuven, Belgium, 8 2020. URL: https://anuyts. github. io…, 2020
152020
Presheaf models of relational modalities in dependent type theory
A Nuyts
arXiv preprint arXiv:1805.08684, 2018
122018
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
112020
Type theory la mode
D Gratzer, GA Kavvos, A Nuyts, L Birkedal
Type Theory la Mode, 2020
92020
Transpension: The Right Adjoint to the Pi-type
A Nuyts, D Devriese
arXiv preprint arXiv:2008.08533, 2020
82020
A model of parametric dependent type theory in bridge/path cubical sets
A Nuyts
arXiv preprint arXiv:1706.04383, 2017
82017
Robust notions of contextual fibrancy
A Nuyts
Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF…, 2018
52018
Abstract Congruence Criteria for Weak Bisimilarity
S Tsampas, C Williams, A Nuyts, D Devriese, F Piessens
arXiv preprint arXiv:2010.07899, 2020
42020
The transpension type: Technical report
A Nuyts
arXiv preprint arXiv:2008.08530, 2020
42020
Dependable atomicity in type theory
A Nuyts, D Devriese
TYPES, Location: Oslo, Norway, 2019
42019
Sikkel: Multimode Simple Type Theory as an Agda Library
J Ceulemans, A Nuyts, D Devriese
MSFP, 2022
32022
Menkar: Towards a multimode presheaf proof assistant
A Nuyts, D Devriese
TYPES, Location: Oslo, Norway, 2019
32019
Internalizing Presheaf Semantics-Charting the Design Space
A Nuyts, D Devriese
Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF…, 2018
32018
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
22024
A Lock Calculus for Multimode Type Theory
A Nuyts
TYPES, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–20