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
|