Formal semantics
Topics referred to by the same term
From Wikipedia, the free encyclopedia
Formal semantics may refer to:
- Formal semantics (natural language), the empirical study of meaning in natural language using formal models
- Formal semantics or semantics of logic, the mathematical study of the interpretations of formal languages
- Formal semantics or semantics (computer science), the mathematical study of the interpretations of programming languages
Look up formal semantics in Wiktionary, the free dictionary.