ISR 2024
Track B

ISR 2024Track B

Lambda-Calculus and Type Theory

This site provides supporting material for Track B of ISR 2024, the 14th International School on Rewriting.


Herman Geuvers Radboud University Nijmegen
Niels van der Weide   Radboud University Nijmegen



The course consists of 20 slots of 90 minutes: 13 lecture slots, 6 exercises sessions, and a final test (for students requiring an ECTS certificate).