Παρουσίαση 19 Φεβρουαρίου
- Δευτέρα, 15 Φεβρουαρίου 2021 - 12:56 μ.μ. -
Θέμα: Univalence implies function extensionality
Ομιλητής: Θωμάς Πιπιλίκας
Ημέρα: Παρασκευή 19 Φεβρουαρίου
Ώρα: 12:15