Category theory and computer science - PITT D H Ed.; Symposium on category theory and computer science (1987 : Edinburgh U,K); Poigne A Ed.; Rydeheard D E Ed. (Berlin Springer-Verlag, 1987)
Keywords: Computer science