This is an advanced seminar devoted to bisimulation and coinduction, and their applications in the theory of programming languages and logic.
- Nauczyciel: Dariusz Biernacki
Program interaction: bisimulation and coinduction
Opcje zapisów
Goście nie mają prawa dostępu do tego kursu. Proszę się zalogować.