Skip to main content
SpringerLink
Log in
Book cover

Categorical Methods in Computer Science

With Aspects from Topology

  • Conference proceedings
  • © 1989

Overview

Editors:
  1. H. Ehrig
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. H. Herrlich
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. H. -J. Kreowski
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. G. Preuß
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 393)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. A categorical concept of constraints for algebraic specifications

    • Hartmut Ehrig
    Pages 1-15

  3. The integration of logical and algebraic types

    • John W. Gray
    Pages 16-35

  4. Colimits as parameterized data types

    • Hans-Jörg Kreowski
    Pages 36-49

  5. Empty carriers: The categorical burden on logic

    • Bernd Mahr
    Pages 50-65

  6. Monads, matrices and generalized dynamic algebra

    • Ernest G. Manes
    Pages 66-81

  7. Foundations are rich institutions, but institutions are poor foundations

    • Axel Poigné
    Pages 82-101

  8. Development of algebraic specifications with constraints

    • F. Orejas, V. Sacristán, S. Clerici
    Pages 102-123

  9. Revised ACT ONE: Categorical constructions for an algebraic specification language

    • Ingo Claßen
    Pages 124-141

  10. Objects, object types, and object identification

    • H. -D. Ehrich, A. Sernadas, C. Sernadas
    Pages 142-156

  11. Categories for the development of algebraic module specifications

    • H. Ehrig, W. Fey, H. Hansen, M. Löwe, F. Parisi-Presicce
    Pages 157-184

  12. Parameterized data type and process specifications using projection algebras

    • M. Große-Rhode
    Pages 185-197

  13. Parameterized algebraic domain equations

    • Anne Elisabeth Haxthausen
    Pages 198-219

  14. Semantical constructions for categories of behavioural specifications

    • F. Orejas, Ma P. Nivela, H. Ehrig
    Pages 220-243

  15. Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter passing

    • Zhenyu Qian
    Pages 244-260

  16. On declarations

    • Eric G. Wagner
    Pages 261-277

  17. Cauchy sequences in quasi-uniform spaces: Categorical aspects

    • H. L. Bentley, W. N. Hunsaker
    Pages 278-285

  18. The construct PRO of projection spaces: its internal structure

    • Horst Herrlich, Hartmut Ehrig
    Pages 286-293

  19. Categories and mathematical morphology

    • Miroslav Hušek
    Pages 294-301

  20. Topological spaces for cpos

    • Austin Melton
    Pages 302-314
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation