TEST 9

matricola: ______________________________

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

• Fornire un esempio di lambda-termine che sia normalizzabile, ma non fortemente normalizzabile. Dire se il termine proposto sia tipabile nel sistema di tipi semplici a' la Curry.
   
  
  

• Ridurre in forma normale, se possibile, il seguente termine.   (λx.xxy)(λxy.xyy)

• Qual e' l'assioma di tipo per la costante "fix" che dobbiamo aggiungere  nel type system a' la Curry di LC⁺? Fornirne una giustificazione.