You are about to access our book library "Category Theory and Computer Science: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings (Lecture Notes in Computer Science (953)) full version" .