Paul Taylor
Here is a list of talks given by Paul Taylor at the Australian Category Seminar. Click on the title of a talk for an abstract.
- A categorical approach to the ordinals and the axiom of replacement – 26 August 1998
- A unified treatment of geometric and higher order logic – 12 August 1998
- What is the generalized notion of algebraic theory that includes the theory of categories? – 5 August 1998