🧮 Denotational SemanticsSpecificdenotational semantics, domain theory, Scott domains, semantic models