A- A0 A+ | EN
Τύποι τομής και ιδιότητες αναγωγής στο λ-λογισμό
Διαβάστε τη διατριβή (Online)
Κατεβάστε τη διατριβή σε μορφή PDF (3.88 MB)  (Η υπηρεσία είναι διαθέσιμη μετά από δωρεάν εγγραφή)

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/12592
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/12592
ND
12592
Εναλλακτικός τίτλος
Intersection types and reduction properties in λ-calculus
Συγγραφέας
Σταυρινός, Γιώργος
Ημερομηνία
2001
Ίδρυμα
Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Τμήμα Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών
Εξεταστική επιτροπή
Αφράτη Φώτω
Δημητρακόπουλος Κώστας
Ζάχος Στάθης
Μοσχοβάκης Γιάννης
Κολέτσος Γιώργος
Μυτιληναίος Μιχάλης
Παπαϊωάννου Αλέξης
Επιστημονικό πεδίο
Φυσικές Επιστήμες ➨ Μαθηματικά
Λέξεις-κλειδιά
Λ-λογισμός; Αναγωγή; Τύποι τομής; Αναγωγικότητα
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
-1
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στους συνδεδεμένους στο σύστημα χρήστες οι οποίοι έχουν αλληλεπιδράσει με τη διδακτορική διατριβή. Ως επί το πλείστον, αφορά τις μεταφορτώσεις.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)