Type Theory – Padova

Argomenti del programma: Nel corso verranno introdotti --- i principali concetti di TEORIA dei TIPI; --- cenni di applicazioni in ambito +++ informatico; +++ matematico; +++ scientifico in genere. Lo studente verra' introdotto a comprendere i seguenti aspetti della multiforme natura della teoria dei tipi: 1) analisi della natura COMPUTAZIONALE della teoria dei tipi vista come --- LAMBDA-CALCOLO tipato a' la Church; --- paradigma di un…