ISR 2024 – Track C

Termination and Complexity in Higher-Order Term Rewriting

Lecturer

Cynthia Kop   Radboud University Nijmegen

Course Description

In this course, we will dive into (simply-typed) higher-order term rewriting systems. What makes them different from first-order rewriting, what makes them similar, and how can typical analysis methods for rewriting — in particular, techniques for termination and complexity analysis — be extended to them?