Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings - Pitt, D. H. (Berlin : Springer-Verlag, 1989)
Papers presented at the 3rd in a series of biennial conferences
Includes bibliographical references
Keywords: Electronic digital computers -- Programming -- Congresses; Categories(mathematics) -- Congresses