TEST 19a
(recupero lambda-calcolo)

matricola: ______________________________

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

• Scrivere esplicitamente il lambda-termine che rappresenta la funzione definita ricorsivamente nel seguente modo :
                                      f(x,y) = if (x=1) then x else (y + (x* f(4,y))).
          Si supponga di avere gia' i lambda-termini if, add, iszero, pre, mult e, crepi l'avarizia, Y.
  

• Dire qual e' il risultato della seguente sostituzione:   (( λy.xy)( λz.y( λy .x)))[xyz/x]  Ridurre in forma normale il termine ottenuto.