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
Informazioni
- Anno accademico
- 2020-2021
- Docente: CANTINI ANDREA
Accesso al corso
Per visualizzare il materiale didattico, partecipare alle attività o verificare lo stato della tua iscrizione, accedi alla pagina.