conf.researchr.org / Cynthia Kop
Registered user since Tue 19 Feb 2019
Name:Cynthia Kop
Country:Netherlands
Affiliation:Radboud University Nijmegen
Personal website: https://www.cs.ru.nl/~cynthiakop/
Research interests:higher-order term rewriting, implicit complexity, program verification
Contributions