Skip to main content
ALMA
INTER-INSTITUTIONAL GRADUATE PROGRAM "ALGORITHMS, LOGIC AND DISCRETE MATHEMATICS"
English
Ελληνικά
Κεντρική πλοήγηση
Show — Κεντρική πλοήγηση
Hide — Κεντρική πλοήγηση
Home
By-Laws
Quality Policy
Staff
Courses
History
Posts
Forms
Theses
Seminars
Links
Nikolaos Rigas
Affiliation
External Collaborator
Courses
Name
Year
Semester
Special Topics in Logic: Type Theory
2023-2024
Fall
Special Topics in Logic: Martin-Löf Type Theory
2020-2021
Fall
Homotopy Type Theory
2020-2021
Spring