Australian Category Seminar

Here is a list of all talks by Felix Cherubini at the Australian Category Seminar.
2021
  • 12 May
    Cartan Geometry in Modal Homotopy Type Theory (abs)