ISR 2026 — 15th International School on Rewriting

Advanced Track lecturers: Herman Geuvers

Weak and strong normalization for typed lambda calculus

TBA

Literature

TBA