Formal Semantics Master formal semantics, which studies the meaning of formal languages. Learn denotational, operational, and axiomatic semantics. 2025-12-20