Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings - Pitt, D. H. (Berlin : Springer, 1989)
Presented at the third in a series of biennial conferences on Category Theory and Computer Science
Keywords: Electronic digital computers -- Programming -- Congresses; Categories (Mathematics) -- Congresses