Papers on category theory and computer science - Pitt D H Ed.; Sympoaium on category theory and computer science (1989 : Manchester U K); Dybjer P Ed.; Rydeheard D E Ed. (Berlin Springer-Verlag, 1989)
Keywords: Mathematical computer science