# mathematical semantics

## English edit

### Noun edit

**mathematical semantics** (*uncountable*)

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

#### Quotations edit

- For quotations using this term, see Citations:mathematical semantics.