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