Winskel 6, 7, 8: Axiomatic semantics and domain theory ✅ 2024-08-13 denotational semantics and domain theory Necula, CS 263: Introduction to Denotational Semantics ✅ 2024-07-18