Μάθημα : Ειδικά Θέματα Λογικής: Θεωρία Τύπων τού Martin-Löf
Κωδικός : DI553
Παρουσίαση 16 Μαρτίου
Θέμα: Κανονικοποίηση για τη θεωρία τύπων
Ομιλητής: Νικόλαος-Αλέξανδρος Τσακαλωφάς
Ημέρα: Τρίτη 16 Μαρτίου
Ώρα: 12:15
Θέμα: Κανονικοποίηση για τη θεωρία τύπων
Ομιλητής: Νικόλαος-Αλέξανδρος Τσακαλωφάς
Ημέρα: Τρίτη 16 Μαρτίου
Ώρα: 12:15