mathematical semantics
Jump to navigation
Jump to search
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.