Category theory and computer science. 4th biennial summer conference, Paris, France, September 3-6, 1991. Proceedings
scientific article; zbMATH DE number 108177