mathematical semantics
Noun
Meaning
mathematical semantics (uncountable)
(computer science) A study of formal semantics of computer languages, such as denotational semantics.
Noun
mathematical semantics (uncountable)
(computer science) A study of formal semantics of computer languages, such as denotational semantics.