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