Concepedia

Andreas Nuyts

AN

Statistics

Publications

4

Citations

128

H-Index

4

Active since

2017

Affiliations

KU Leuven(Current)

Aarhus University

Andreas Nuyts is an author at KU Leuven specializing in computer science, type systems, and type theory.

ORCID

Publications per year

2017–2021

4

Publications

4

Parametric quantifiers for dependent type theory

Andreas Nuyts, Andrea Vezzosi, Dominique Devriese · Proceedings of the ACM on Programming Languages · 2017 · 37 citations · Full text

, , +13

Multimodal Dependent Type Theory

Daniel Gratzer, G. A. Kavvos, Andreas Nuyts et al. · 2020 · 37 citations · Full text

, , +16

Multimodal Dependent Type Theory

G. A. Kavvos, Daniel Gratzer, Andreas Nuyts et al. · Explore Bristol Research · 2021 · 30 citations · Full text

, , +16

Degrees of Relatedness

Andreas Nuyts, Dominique Devriese · 2018 · 24 citations · Full text

, , +15

1–4 of 4