Andreas Nuyts
Scholar

Andreas Nuyts

Google Scholar ID: _dYhuf8AAAAJ
KU Leuven
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
404
 
H-index
9
 
i10-index
8
 
Publications
20
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
2 items
Nominal Type Theory by Nullary Internal Parametricity
2025
Cited
0
Towards Computational UIP in Cubical Agda
2025
Cited
0
Resume (English only)
Co-authors
6 total
Dominique Devriese
Dominique Devriese
KU Leuven
Lars Birkedal
Lars Birkedal
Dept. of Computer Science, Aarhus University
Co-author 3
Co-author 3
Daniel Gratzer
Daniel Gratzer
Aarhus University
Co-author 5
Co-author 5
Stelios Tsampas
Stelios Tsampas
Assistant Professor