Australian Category Seminar

Here is a list of all talks by Luigi Santocanale at the Australian Category Seminar.
1999
  • 31 March
    Least and greatest fixpoints in games, least and greatest fixpoints as games
  • 14 April
    The μ-lattice J(P)
  • 9 June
    When circular proofs are good proofs