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