Activities per year
- 4 results
Search results
-
An Introduction to Type Theory
Bradley, F. (Speaker)
28 Feb 2024Activity: Talk or presentation › Oral presentation
-
On the Metatheory of Subtype Universes (TYPES23)
Bradley, F. (Speaker)
12 Jun 2023 → 15 Jun 2023Activity: Talk or presentation › Oral presentation
File -
On the Metatheory of Subtype Universes (WG6)
Bradley, F. (Speaker)
24 Apr 2023Activity: Talk or presentation › Oral presentation
File -
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