Please ensure Javascript is enabled for purposes of website accessibility

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

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

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

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

Θέμα: Θεωρία κατηγοριών στην ομοτοπική θεωρία τύπων
Ομιλητής: Γιώργος Πιτσιλαδής
Ημέρα: Τρίτη 23 Φεβρουαρίου
Ώρα: 12:15

Τρίτη 16 Φεβρουαρίου 2021 - 12:40 μ.μ.