title: Lambda Calculus reduction
body: <p>All,</p>
  
  <p>Below is the lambda expression which I am finding difficult to reduce i.e. I am not able to understand how to go about this problem.</p>
  
  <p>(λm λn λa λb . m (n a b) b) (λ f x. x) (λ f x. f x)</p>
  
  <p>This is what I tried, but I am stuck:  </p>
  
  <p>Considering the above expression as : (λm.E) M equates to<br>
  E= (λn λa λb. m (n a b) b)<br>
  M = (λf x. x)(λ f x. f x)  </p>
  
  <p>=> (λn λa λb. (λ f x. x) (λ f x. f x) (n a b) b)  </p>
  
  <p>Considering the above expression as (λn. E)M equates to<br>
  E = (λa λb. (λ f x. x) (λ f x. f x) (n a b) b)<br>
  M = ??  </p>
  
  <p>.. and I am lost!!  </p>
  
  <p>Can anyone please help me understand that, for ANY lambda calculus expression, what should be the steps to perform reduction?  </p>