School Seminar Series

Equivalence of liberal, free, linear, schemas is decidable.

28th January 2003, 16:00 add to calender
Michael Laurence,
Department of Computer Science, University of Liverpool, UK