Semantics

lecture-notes