mathematical semantics noun1 •A study of formal semantics of computer languages, such as denotational semantics.
