TEST 8

matricola: ______________________________

nome (solo se non si ricorda la matricola): __________________________________

• Describe the actions performed by the Principal Pair Algorithm when it works on an abstraction λx.M
   
  
  

• Show that the two terms 
       (I Ω)((Iy)I)     and      Ω(y(II))   
    are beta-convertible,  where I is λx.x  and   Ω  is  (λx.xx)(λx.xx)

• Perform the following substitution     (λz.((λx.yx)xz))[zx/x]