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