see my previous lecture to solve this simple Examples
lambda Calculus Introduction • PPL1.1-Lambda Calculus | Introduction | pr...
lambda Abstraction and Free/Bound Variable • PPL1.2-Lambda calculus | Abstraction | Fre...
lambda Substitution and Beta Conversion • PPL1.3-Lambda Calculus | Substitution/Redu...