TEST 9

matricola: ______________________________

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

• What is the principal pair for the term (λx.yx) ?  (you do not need to provide a formal justification, an informal one will suffice)
   
  
  

• What is the effect of evaluating an expression  (define identifier  expression) in Scheme?

• Why do we add the constant fix to LC⁺? Which reduction do we have to add to LC⁺  in order to formalize the behaviour of fix?