Luigi Santocanale
Here is a list of talks given by Luigi Santocanale at the Australian Category Seminar. Click on the title of a talk for an abstract.
- When circular proofs are good proofs – 9 June 1999
- The $\mu$-lattice $J(P)$ – 14 April 1999
- Least and greatest fixpoints in games, least and greatest fixpoints as games – 31 March 1999