Darstellung / Vorschau

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

Beschreibung des Kurses

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

 

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

Creation Date

Dienstag, 17. Oktober 2023