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

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

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

Εισαγωγή στή θεωρία τύπων, με έμφαση στήν αντιστοιχία Curry-Howard και σε σύγχρονες θεωρίες που βασίζονται σ' αυτή, συγκεκριμένα τή θεωρία τύπων τού Martin-Löf και τήν ομοτοπική θεωρία τύπων.

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

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