Australian Category Seminar

Here is a list of all talks by Paul Taylor at the Australian Category Seminar.
1998
  • 5 August
    What is the generalized notion of algebraic theory that includes the theory of categories?
  • 12 August
    A unified treatment of geometric and higher order logic
  • 26 August
    A categorical approach to the ordinals and the axiom of replacement