1. Αρχική σελίδα
  2. Αναζήτηση

Intersection types and reduction properties in λ-calculus

Το τεκμήριο παρέχεται από τον φορέα :
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)   

Αποθετήριο :
Εθνικό Αρχείο Διδακτορικών Διατριβών  | ΕΚΤ ΕΑΔΔ   

δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*



Τύποι τομής και ιδιότητες αναγωγής στο λ-λογισμό
Intersection types and reduction properties in λ-calculus
Stavrinos, Yiorgos
Σταυρινός, Γιώργος
PhD Thesis
2001
Φυσικές Επιστήμες ➨ Μαθηματικά
Reduction
Τύποι τομής
Reducibility
Λ-calculus
Intersection types
Λ-λογισμός
Μαθηματικά
Mathematics
Natural Sciences
Αναγωγικότητα
Φυσικές Επιστήμες
Αναγωγή
Ελληνική γλώσσα
Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ)
National Technical University of Athens (NTUA)
Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Τμήμα Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
Εθνικό Αρχείο Διδακτορικών Διατριβών
Συλλογή ΕΑΔΔ



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.