Homotopy Type Theory

Year
2020-2021
Semester
Spring
Type
Seminar
Taught by
Nikolaos Rigas
Description

Σκιαγράφηση της ύλης:
Ανώτεροι επαγωγικοί τύποι, υπολογισμός τής θεμελιώδους ομάδας τού κύκλου
Εισαγωγή στη θεωρία κατηγοριών
Μεταμαθηματικά τής θεωρίας τύπων: Κατηγορική σημασιολογία, κανονικοποίηση

Start date
5/3/2021