Australian Category Seminar

Here is a list of all talks by Harry Clarke at the Australian Category Seminar.
2025
  • 2 April
    A stack model for dependent type theory (abs)