Australian Category Seminar

About Recent Past Speakers
Here is a list of all talks by Aurelio Carboni at the Australian Category Seminar.
2005
  • 16 Feburary
    Syntax and semantics of Gauss elimination procedure
2001
  • 19 December
    A complicated proof of a simple fact: An undergraduate introduction to rewriting systems