Basic track
Rewriting theoryAart Middeldorp (Innsbruck University) | |
λ-calculusFemke van Raamsdonk (VU University Amsterdam) | |
Rewriting theorySarah Winkler (Innsbruck University) |
Rewriting theoryAart Middeldorp (Innsbruck University) | |
λ-calculusFemke van Raamsdonk (VU University Amsterdam) | |
Rewriting theorySarah Winkler (Innsbruck University) |