Categorical methods in computer science : with aspects from topology / H. Ehrig [and others], eds.

"This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped i...

Full description

Bibliographic Details

Online Access:	Full Text (via Internet Archive)
Corporate Author:	International Workshop on Categorical Methods in Computer Science with Aspects from Topology
Other Authors:	Ehrig, Hartmut
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1989.
Series:	Lecture notes in computer science ; 393.
Subjects:	Computer science > Congresses. Categories (Mathematics) > Congresses. Topology > Congresses. Categories (Mathematics) Computer science. Topology. Conference papers and proceedings.