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