PPL1.2-Lambda calculus | Abstraction | Free & Bound Variable | Principle Of Programming language

firstly see the last lecture in which we discussed about introduction... https://youtu.be/yb9-H4i1OMA Now in this lecture we will talk about Lambda Abstraction that how we can identify a universal production for lambda abstraction and than we see the free and bound variables that waht is free variables what is Bound and how we can identify them.