Cut elimination in the simply lambda calculus

Άρθρο Συνεδρίου uoadl:1046295 287 Αναγνώσεις

Πρωτότυπος Τίτλος:
Cut elimination in the simply lambda calculus
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Ghilezan, Silvia
Κύρια θεματική κατηγορία:
Λογική
Λοιπές θεματικές κατηγορίες:
Μαθηματικά
Λέξεις-κλειδιά:
Cut elimination, lambda calculus
Σελίδες (από-έως):
21-24
Σημειώσεις:
Περιλαμβάνει περίληψη στα αγγλικά και βιβλιογραφικές αναφορές
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.