Dispense dell'insegnamento – Lecture notes » Prolog & Haskell (« logica proposizionale, logica dei predicati, lambda calcolo ») (04/04/2024).
Esempio di prova scritta – Example of written exam (23/05/2021).
Scheda valutazione progetto.