Denotational semanticsFind domains that represent what programs do, map domains to mathematical objectsDoes not depend on Syntax.2021-01-22