Title: Selected papers of the 4th Summer Conference onCategory Theory and Computer Science, Paris, France, September 1991
First published: 1993