Cynthia Kop

Registered user since Tue 19 Feb 2019

Name:Cynthia Kop
Affiliation:Radboud University Nijmegen
Research interests:higher-order term rewriting, implicit complexity, program verification


PERR 2019 Author of Proving Program Equivalence with Constrained Rewriting Induction and Ctrl within the PERR-track
DICE-FOPARA 2019 Invited Speaker of (Invited Talk) Cons-free Rewriting within the DICE-FOPARA-track
ESOP 2019 Author of A static higher-order dependency pair framework within the ESOP 2019-track