Lambda calcolo

Responsabile didattico: Fabio Alessi

Durata: 28 ore

Periodo didattico: primo semestre

Programma

1- Richiami di teoria della Calcolabilita', funzioni ricorsive. Sintassi del Lambda Calcolo.

2- Il Lambda Calcolo come formalismo di calcolo: rappresentazione dei numeri naturali e teoria della calcolabilita' formalizzata nel Lambda Calcolo.

3- Semantica del Lambda Calcolo (cenni di Teoria delle Categorie, ordini parziali completi).