PIPERNO ADOLFO
(programma)
Introduzione al lambda-calcolo, sintassi e semantica operazionale. [10 ore] Teorema di Church-Rosser. [10 ore] Tesi di Church. [10 ore] Strutture dati e loro rappresentazione nel lambda-calcolo. [10 ore] Sistemi di tipi, normalizzazione forte e debole. [10 ore] Teorema di Böhm. [10 ore]
Note distribuite dal docente
|