Seminarium stanowi przegląd 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ść)
* game semantics
Literatura:
1. Domain-Theoretic Foundations of Functional Programming. Thomas Streicher. World Scientific Publishing Co. Pte. Ltd., 2006.
2. Domains and Lambda-Calculi. Martin Abadi and Pierre-Louis Curien. Cambridge University Press, 1998.
3. Theories of Programming Languages. John C. Reynolds. Cambridge University Press, 1998.
4. The Formal Semantics of Programming Languages: An Introduction. Glynn Winskel. The MIT Press, 1993.
5. Game Semantics. Samson Abramsky and Guy L. McCusker. Logic and Computation: Proceedings of the 1997 Marktoberdorf Summer School, Springer-Verlag, 1998.
6. Bisimilarity as a Theory of Functional Programming. Andrew D. Gordon. Theoretical Computer Science, 228(1-2):5-47, 1999.