Μονάδα:
Τομέας Φιλοσοφίας και Θεωρίας της Επιστήμης και της ΤεχνολογίαςΒιβλιοθήκη Σχολής Θετικών Επιστημών
Ημερομηνία κατάθεσης:
2015-11-20
Συγγραφέας:
Βενέτη Αναστασία
Στοιχεία επταμελούς επιτροπής:
ΙΩΑΝΝΗΣ ΣΤΕΦΑΝΟΥ, ΓΕΩΡΓΙΟΣ ΚΟΛΕΤΣΟΣ, SIMONA RONCHI DELLA ROCCA
Πρωτότυπος Τίτλος:
Λογικές ερμηνείες για τύπους τομής και ένωσης
Γλώσσες διατριβής:
Αγγλικά
Μεταφρασμένος τίτλος:
A Logic for Intersection and Union Types
Περίληψη:
Αναζητούμε ένα λογικό σύστημα που να αντιστοιχεί στο σύστημα τύπων τομής και
ένωσης μέσω διακόσμησης των αποδείξεών του με όρους του καθαρού λ-λογισμού.
Στοχεύουμε έτσι στη λογική ερμηνεία των συνδέσμων της τομής και της ένωσης.
Λέξεις-κλειδιά:
λ-λογισμός, Συστήματα τύπων, Τομή, Ένωση, Ισομορφισμός Curry-Howard
Αρ. σελίδων ευρετηρίου:
0
Αρ. βιβλιογραφικών αναφορών:
22
Αριθμός σελίδων:
viii, 180
