Activities per year
- 1 results
Search results
-
Workshop on Homotopy Type Theory
Bradley, F. (Participant)
22 Apr 2023 → 23 Apr 2023Activity: Participating in or organising an event › Participation in workshop, seminar, course