English

Noun

mathematical semantics ‎(uncountable)

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

Quotations

• For usage examples of this term, see Citations:mathematical semantics.