## EnglishEdit

### NounEdit

**mathematical semantics** (*uncountable*)

- (computer science) A study of formal semantics of computer languages, such as denotational semantics.

#### QuotationsEdit

- For usage examples of this term, see Citations:mathematical semantics.