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

Lecture 19 - Program Semantics - Prof. Subhajit Roy Session - 4