TEST 5

matricola: ______________________________

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

• Fornire la definizione di λ-definibilita' per funzioni dai naturali ai naturali.
  

• Dimostrare che il lambda-termine   λnfx.f(nfx)  rappresenta la funzione "incremento di 1" sui naturali.
  

• Dimostrare, usando il teorema di Church-Rosser, che la teoria della beta-conversione e' consistente.