Operational semantics Links Department of Computer Science and Technology – Course pages 2023–24: Semantics of Programming Languages – Course materials Structural Induction Totality of arithmetic: ∀e,∃e′ such that e→∗e′ and e′ val.