## 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 the citations page.

Last modified on 20 June 2013, at 11:50
# mathematical semantics

## EnglishEdit

### NounEdit

#### QuotationsEdit

**mathematical semantics** (*uncountable*)

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

- For usage examples of this term, see the citations page.