Ίδρυμα
Εξωτερικός συνεργάτης
Νικόλαος Ρήγας
Μαθήματα
| Όνομα | Έτος | Εξάμηνο |
|---|---|---|
| Εισαγωγή στην Ομοτοπική Θεωρία Τύπων | 2024-2025 | Χειμερινό |
| Ειδικά Θέματα Λογικής: Θεωρία Τύπων | 2023-2024 | Χειμερινό |
| Ειδικά Θέματα Λογικής: Θεωρία Τύπων του Martin-Löf | 2020-2021 | Χειμερινό |
| Ομοτοπική Θεωρία Τύπων | 2020-2021 | Εαρινό |