Course. Domain Theory (TypeSIG) [typesig-dt]

Liam O'Connor
University of Edinburgh
https://typesig.pl/resources/domain-theory

I ran this course as an opt-in invited lecture series with TypeSIG at University of Edinburgh. Suprisingly, around 15 students consistently showed up throughout.

Topics include denotational semantics, fixed points, categories and constructions, PCF, scott domains, recursive domains, and powerdomains.

$\pi _0 \circ \langle f , g \rangle = f$
$\pi _1 \circ \langle f , g \rangle = g$
$\langle \pi _0 \circ h , \pi _1 \circ h \rangle = h$


( $y \mapsto b \mapsto z$ but $z \not \sqsubseteq y$ )	( $b \mapsto x \mapsto a$ but $a \neq b$ )

2026	Structured Programming. Lecturer Convenor.
2025	Programming as Problem Solving. Lecturer Convenor.

2024	Domain Theory (TypeSIG) (15 students). Invited Lecturer.
	Modelling Concurrent Systems (30 students). Lecturer Convenor, Tutor.
2023	Introduction to Theoretical Computer Science (40 students). Lecturer Convenor.
	Discrete Mathematics and Probability. Tutor.
2022	Introduction to Theoretical Computer Science (20 students). Lecturer Convenor.
	Informatics 1A. Tutor.
2021	Introduction to Theoretical Computer Science (35 students). Lecturer, Tutor.
	Informatics 1A. Tutor.
2020	Informatics 1A. Tutor Supervisor.