You are about to access our book library "Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings full version" .