Ειδικά Θέματα Λογικής: Θεωρία Τύπων
Νικόλαος Ρήγας
Περιγραφή
Εισαγωγή στή θεωρία τύπων, με έμφαση στήν αντιστοιχία Curry-Howard και σε σύγχρονες θεωρίες που βασίζονται σ' αυτή, συγκεκριμένα τή θεωρία τύπων τού Martin-Löf και τήν ομοτοπική θεωρία τύπων.
ΛιγότεραΕισαγωγή στή θεωρία τύπων, με έμφαση στήν αντιστοιχία Curry-Howard και σε σύγχρονες θεωρίες που βασίζονται σ' αυτή, συγκεκριμένα τή θεωρία τύπων τού Martin-Löf και τήν ομοτοπική θεωρία τύπων.
Εισαγωγή στή θεωρία τύπων, με έμφαση στήν αντιστοιχία Curry-Howard και σε σύγχρονες θεωρίες που βασίζονται σ' αυτή, συγκεκριμένα τή θεωρία τύπων τού Martin-Löf και τήν ομοτοπική θεωρία τύπων.