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

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