![](https://skos.ii.uni.wroc.pl/pluginfile.php/30168/course/overviewfiles/sangiorgi.jpg)
This is an advanced seminar devoted to bisimulation and coinduction, and their applications in the theory of programming languages and logic.
- Teacher: Dariusz Biernacki
This is an advanced seminar devoted to bisimulation and coinduction, and their applications in the theory of programming languages and logic.