Australian Category Seminar
Talks by Luigi Santocanale
- When circular proofs are good proofs (9/6/99)
- The $\mu$-lattice J(P) (14/4/99)
- Least and greatest fixpoints in games,
least and greatest fixpoints as games (31/3/99)
Steve Lack Last modified: Mon Aug 27 10:26:49 EST 2001