firstly see the last lecture in which we discussed about introduction...
• PPL1.1-Lambda Calculus | Introduction | pr...
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.