From February 2021 to January 2026 I will lead the NWO VIDI project Constrained Higher-Order Rewriting and Program Equivalence, grant number VI.Vidi.193.075. This page list the work performed as part of this project.
The goal of CHORPE is to study program equivalence through translations to logically constrained term rewriting systems. Our particular focus is to translate higher-order features and use the knowledge of higher-order term rewriting analysis from the rewriting community.
We actively collaborate with a group at the VU University Amsterdam.
We have also started the TEA seminar, an online seminar uniting groups in Nijmegen, Amsterdam and Nagoya who all work on equivalence of and through term rewriting.
To date, the project has resulted in two publications in formal conference/workshop proceedings, and two informal papers. Use the green download buttons to obtain the author copies.
![]() |
![]() |
![]() |
Cynthia Kop | Liye Guo | Kasper Hagens |