Anteprima

(DI636) -  Νικόλαος Ρήγας

Descrizione del Corso

Στό μάθημα αυτό παρουσιάζονται σύγχρονες θεωρίες τύπων που βασίζονται στήν αντιστοιχία Curry-Howard, ιδιως η Θεωρία Τύπων τού Martin-Löf και η Ομοτοπική Θεωρία Τύπων.

 

Περίγραμμα μαθήματος

Creation Date

martedì 17 ottobre 2023