es28

   Una possibilita' fra le tante e' di sostituire al posto di "????"
   l'espressione (lambda (x) (lambda (y) x)). Insomma, affinche'
   l'interprete non dia errore durante la valutazione di (f (lambda (x) x))
   a k deve venire associata una funzione che prende un numero e restituisce
   una funzione con numeri come dominio.



   -----------------------------------------------
   | f -->  <n1, (lambda (g) (( k 3 ) (g 1)))) >  | 
   | k -->  <n1, (lambda (x) (lambda (y) x)) >    | 
   -----------------------------------------------
    ^         ^                                ^
    |         | n1                             | n1
    |         |                                |
    |    -------------------------------    ----------
    |    | g --> <n1, (lambda (x) x) > |    | x --> 3 |
    |    -------------------------------    ----------
    | n1                                         ^
    |                                            | 
    |                                       ----------
 ------------                               | y --> 1 |
 | x --> 1  |                               ----------
 ------------ 

   Il risultato della valutazione di (f (lambda (x) x)) in questo caso e' 3.