Teoria della dimostrazione: calcoli LK, Hauptsatz e corollari. Deduzione naturale, lambda calcolo tipato,La corrispondenza di Curry-Howard. Normalizzazione. Applicazioni (PA, omega-regola; ordinali nella proof theory)). Teorema di Takeuti-Parsons-Mints
Information
- Anno accademico
- 2020-2021
- Teacher: CANTINI ANDREA
Course access
To view course materials, participate in activities, or check your registration status. Go to the page.