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