Lambda calcolo
a.a. 2022/23
Responsabile didattico: Fabio Alessi
Durata: 28 ore
Programma: Richiami di teoria della Calcolabilita', funzioni ricorsive. Sintassi del Lambda Calcolo. Il Lambda Calcolo come formalismo di calcolo: rappresentazione dei numeri naturali e teoria della calcolabilita' formalizzata nel Lambda Calcolo. Semantica del Lambda Calcolo (cenni di Teoria delle Categorie, ordini parziali completi).