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