TEST 8

matricola: ______________________________

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

• Perche' per eseguire una sostituzione M[L/x] occorre che BV(M) e FV(L) siano due insiemi disgiunti?
   
  
  

• Dimostrare formalmente che il seguente giudizio e' valido (fornire cioe' una derivazione)
                                          z: b→a |-  λxy.x(zy)  :  (a→c) → (b→c)

• Cosa rappresenta intuitivamente il seguente lambda-termine? Perche'?   Y(λn.(add n 1))