ISR 2024 – Track B

Lambda-Calculus and Type Theory

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

Lecturers

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

Content

tba

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).