| Lecturer | Halimeh Moghbeli Damaneh |
| Lecture with Exercise | Wed 16:15–17:45, Seminar Room 00.131, Cauerstr. 11 Thu 10:15–11:45, Seminar Room 00.131, Cauerstr. 11 |
| Language | English |
| ECTS Credits | 7.5 |
Materials
Course materials will be made available via StudOn.
Exercise Sheets
Exercise sheets will be made available via StudOn during the semester.
Literature
- S. Abramsky and A. Jung, Domain Theory, Handbook of Logic in Computer Science, Vol. 3, Oxford University Press, 1994.
- G. Gierz et al., Continuous Lattices and Domains, Cambridge University Press, 2003.
- G. Winskel, The Formal Semantics of Programming Languages: An Introduction, MIT Press, 1993.