ISR 2024

Tracks


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