David Farrell
Here is a list of talks given by David Farrell at the Australian Category Seminar. Click on the title of a talk for an abstract.
- (Homotopy) Type Theory and Awodey's Nautral Models – 1 June 2022
Here is a list of talks given by David Farrell at the Australian Category Seminar. Click on the title of a talk for an abstract.