Categorical methods in computer science : with aspects from topology /

Bibliographic Details
Corporate Author: International Workshop on Categorical Methods in Computer Science with Aspects from Topology
Other Authors: Ehrig, Hartmut
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1989]
Series:Lecture notes in computer science ; 393.
Subjects: