Aurelio Carboni
Here is a list of talks given by Aurelio Carboni at the Australian Category Seminar. Click on the title of a talk for an abstract.
- Syntax and semantics of Gauss elimination procedure – 16 February 2005
- A complicated proof of a simple fact: An undergraduate introduction to rewriting systems – 19 December 2001