NPTEL Video Course : ACM Indian Summer School on Programming Languages: Principles and Practice

Lecture 21 - Program Semantics - Prof. Subhajit Roy Session - 6