GitHub repository: tomdjong/MGS-domain-theory
Primary language: TeX
Created: 2023-02-25T19:31:55Z
Description: Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023