Australian Category Seminar

About Recent Past Speakers
Here is a list of all talks by David Farrell at the Australian Category Seminar.
2022
  • 1 June
    (Homotopy) Type Theory and Awodey's Nautral Models (abs)