Semantics of Programming Language

Operational semantics

Links

• Department of Computer Science and Technology – Course pages 2023–24: Semantics of Programming Languages – Course materials

Structural Induction

• Totality of arithmetic: $\forall e,\exists e^{\prime }\text{ such that }e\stackrel{\ast }{\to }{e}^{\prime }\text{ and }{e}^{\prime }\text{ val}.$