Ειδικά Θέματα Λογικής: Θεωρία Τύπων
Νικόλαος Ρήγας
Περιγραφή
Εισαγωγή στή θεωρία τύπων, με έμφαση στήν αντιστοιχία Curry-Howard και σε σύγχρονες θεωρίες που βασίζονται σ' αυτή, συγκεκριμένα τή θεωρία τύπων τού Martin-Löf και τήν ομοτοπική θεωρία τύπων.
ΛιγότεραΕισαγωγή στή θεωρία τύπων, με έμφαση στήν αντιστοιχία Curry-Howard και σε σύγχρονες θεωρίες που βασίζονται σ' αυτή, συγκεκριμένα τή θεωρία τύπων τού Martin-Löf και τήν ομοτοπική θεωρία τύπων.
Εισαγωγή στή θεωρία τύπων, με έμφαση στήν αντιστοιχία Curry-Howard και σε σύγχρονες θεωρίες που βασίζονται σ' αυτή, συγκεκριμένα τή θεωρία τύπων τού Martin-Löf και τήν ομοτοπική θεωρία τύπων.
![CC - Αναφορά Δημιουργού CC - Αναφορά Δημιουργού](/template/default/img/cc/by.png)