Australian Category Seminar
Talks by Aurelio Carboni
- Syntax and semantics of Gauss elimination procedure (16/2/05)
- A complicated proof of a simple fact:
An undergraduate introduction to rewriting systems (19/12/01)
Back to Australian Category Seminar page.
Steve Lack Last modified: Wed Feb 16 11:18:04 EST 2005