Affiliation
External Collaborator
Name Sort descending | Year | Semester |
---|---|---|
Homotopy Type Theory | 2020-2021 | Spring |
Special Topics in Logic: Martin-Löf Type Theory | 2020-2021 | Fall |
Special Topics in Logic: Type Theory | 2023-2024 | Fall |