Affiliation
External Collaborator
INTER-INSTITUTIONAL GRADUATE PROGRAM "ALGORITHMS, LOGIC AND DISCRETE MATHEMATICS"
| Name | Year | Semester |
|---|---|---|
| Introduction to Homotopy Type Theory | 2024-2025 | Fall |