Semantics Lecture 2
Channel: Neelakantan Krishnaswami
Date: 2020-11-09

In this lecture we introduce the idea of operational semantics by defining a semantics for a simple while-loop language.