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