In this video,we study normal forms, CBN, CBV semantics, Church-Rosser Theorem and non-terminating reduction .
No download links available.
