1. BNF e Sintassi
2. Regole semantica statica
   1. Espressioni
   2. Comandi
   3. Dichiarazioni
   4. Funzioni: dichiarazione e chiamata
   5. Funzioni ricorsive (dichiarazione e chiamata)
3. Scoping e blocchi (identificatori liberi e legati)
4. Record di attivazione
5. Regole semantica dinamica
   1. Espressioni
   2. Comandi
   3. Dichiarazioni
   4. Funzioni: dichiarazione (lambda astrazione e chiusure) e chiamata
   5. Funzioni ricorsive (dichiarazione e chiamata)