eClass ΕΚΠΑ | Ειδικά Θέματα Λογικής: Θεωρία Τύ... | Ανακοινώσεις

Ειδικά Θέματα Λογικής: Θεωρία Τύπων τού Martin-Löf

DI553 - Νικόλαος Ρήγας

Ανακοινώσεις

Παρουσίαση 19 Φεβρουαρίου

Θέμα: Univalence implies function extensionality

Ομιλητής: Θωμάς Πιπιλίκας

Ημέρα: Παρασκευή 19 Φεβρουαρίου

Ώρα: 12:15

Δευτέρα 15 Φεβρουαρίου 2021 - 12:56 μ.μ.