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.