CiÚ chiude la sequenza di chiamate
ricorsive. Il controllo torna al servitore
precedente, che puÚ finalmente valutare
líespressione n*1 (valutando n nel suo
environment, dove vale 2) ottenendo 2.
| Diapositiva precedente | Diapositiva successiva | Torna alla prima diapositiva | Visualizza versione grafica |