TEST 6

matricola: ______________________________

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

• Scrivere esplicitamente il lambda-termine che rappresenta la funzione prodotto quando questa e' definita ricorsivamente a partire dalla funzione somma :
                                      x*y = if (x=0) then 0 else (y + (x-1)*y).
          Si supponga di avere gia' i lambda-termini if, add, iszero, pre e, crepi l'avarizia, Y.
  

• Dire qual e' il risultato della seguente sostituzione:   (( λy.xy)( λz.y( λy .x)))[xyz/x]
  

• Fornire la definizione di Head-normal-form. Per formalizzare quale tipo di nozione sono utili le head-normal-form?