ISR 2024 – 14th International School on Rewriting

Tracks

A	first-order term rewriting
B	lambda-calculus and type theory
C	advanced courses