馃М Denotational SemanticsSpecificdenotational semantics, domain theory, Scott domains, semantic models