Τύποι τομής και ιδιότητες αναγωγής στο λ-λογισμό
Πρέπει να είστε εγγεγραμένος χρήστης για έχετε πρόσβαση σε όλες τις υπηρεσίες του ΕΑΔΔ  Είσοδος /Εγγραφή

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

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