liamoc.net
my forest
1\taxon{Course}
2\title{Domain Theory ([[typesig]])}
3\meta{venue}{[[uoe]]}
4\author{liamoc}
5\meta{external}{https://typesig.pl/resources/domain-theory}
6\p{I ran this course as an opt-in invited lecture series with [[typesig]] at [[uoe]]. Suprisingly, around 15 students consistently showed up throughout.}
7\p{Topics include denotational semantics, fixed points, categories and constructions, PCF, scott domains, recursive domains, and powerdomains.}