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).