Seminarium stanowi przegląd wybranych zaawansowanych zagadnień dotyczących semantyki języków programowania, takich jak:
* teoria dziedzin (PCF, full abstraction, relacje logiczne, równania na dziedzinach)
* równoważność programów (bisymulacje, relacje logiczne)
* semantyka typów (częściowe relacje równoważności, parametryczność, koherencja pod typowania)
* game semantics
**Literatura** (+ kolekcja publikacji na temat bisymulacji i relacji logicznych w językach wyższego rzędu):
1. Domain-Theoretic Foundations of Functional Programming. Thomas Streicher. World Scientific Publishing Co. Pte. Ltd., 2006.
2. Theories of Programming Languages. John C. Reynolds. Cambridge University Press, 1998.
3. The Formal Semantics of Programming Languages: An Introduction. Glynn Winskel. The MIT Press, 1993.
4. Game Semantics. Samson Abramsky and Guy L. McCusker. Logic and Computation: Proceedings of the 1997 Marktoberdorf Summer School, Springer-Verlag, 1998.
5. [Semantics of Type Systems (Lecture Notes)](https://plv.mpi-sws.org/semantics-course/lecturenotes.pdf). Derek Dreyer et al. MPI-SWS, 2022.
