AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Andreas Nuyts

Andreas Nuyts

Catholic University of Leuven - Leuven / Belgium
Others
AD Scientific Index ID: 5922085
Katholieke Universiteit Leuven
person_outline Andreas Nuyts's MOST POPULAR ARTICLES
1-) Multimodal dependent type theory Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
2-) Parametric quantifiers for dependent type theory Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
3-) Degrees of relatedness: A unified framework for parametricity, irrelevance, ad hoc polymorphism, intersections, unions and algebra in dependent type theory Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
4-) Towards a directed HoTT based on 4 kinds of variance Master's thesis. KU Leuven, 2015
5-) Contributions to Multimode and Presheaf Type Theory PhD thesis, KU Leuven, Belgium, 8 2020. URL: https://anuyts. github. io …, 2020