Παρουσίαση/Προβολή

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

Περιγραφή Μαθήματος

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

 

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

Ημερομηνία δημιουργίας

Τρίτη 17 Οκτωβρίου 2023