Semantics Lecture 12
Channel: Neelakantan Krishnaswami
Date: 2020-12-02

In this lecture we discuss program equivalence and how to prove it.