mathematical semantics
English
Noun
mathematical semantics (uncountable)
- (computer science) A study of formal semantics of computer languages, such as denotational semantics.
Quotations
- For quotations using this term, see Citations:mathematical semantics.