Advertisement

Table of contents

  1. Front Matter
  2. Hans-Jörg Kreowski
    Pages 36-49
  3. F. Orejas, V. Sacristán, S. Clerici
    Pages 102-123
  4. H. -D. Ehrich, A. Sernadas, C. Sernadas
    Pages 142-156
  5. H. Ehrig, W. Fey, H. Hansen, M. Löwe, F. Parisi-Presicce
    Pages 157-184
  6. Anne Elisabeth Haxthausen
    Pages 198-219
  7. F. Orejas, Ma P. Nivela, H. Ehrig
    Pages 220-243
  8. Eric G. Wagner
    Pages 261-277
  9. H. L. Bentley, W. N. Hunsaker
    Pages 278-285
  10. Horst Herrlich, Hartmut Ehrig
    Pages 286-293
  11. Miroslav Hušek
    Pages 294-301
  12. Austin Melton
    Pages 302-314
  13. Gerhard Preuß
    Pages 315-324
  14. Friedhelm Schwarz
    Pages 325-332
  15. H. Andréka, R. J. Greechie, G. E. Strecker
    Pages 333-339

About these proceedings

Introduction

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.

Keywords

Abstrakte Datentypen Algebraische Spezifikation Kategorientheorie Topologie logic object programming

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-51722-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-51722-1
  • Online ISBN 978-3-540-46787-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications