Summer Conference on Category Theory and Computer Science (4th 1991 Paris, France)