Categorical Methods in Computer Science - With Aspects from Topology (Paperback, 1989 ed.)

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 into three parts: "Part " "1" includes papers on categorical foundations and fundamental concepts from category theory in computer science. "Part 2" presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. "Part 3" comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 393
Release date:	October 1989
First published:	1989
Editors:	Hartmut Ehrig • Horst Herrlich • Hans-Jorg Kreowski • Gerhard Preus
Dimensions:	235 x 155 x 19mm (L x W x T)
Format:	Paperback
Pages:	354
Edition:	1989 ed.
ISBN-13:	978-3-540-51722-1
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation
LSN:	3-540-51722-7
Barcode:	9783540517221

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!