Table of contents

  1. Front Matter
  2. John C. Baez
    Pages 1-33
  3. Richard S. Bird
    Pages 34-46
  4. C. B. Jay
    Pages 47-48
  5. Paul-André Melliès
    Pages 49-68
  6. Christoph Lüth, Neil Ghani
    Pages 69-86
  7. A. Corradini, F. Gadducci
    Pages 87-105
  8. Gian Luca Cattani, Ian Stark, Glynn Winskel
    Pages 106-126
  9. D. Pavlović, S. Abramsky
    Pages 147-158
  10. Uwe Wolter, Alfio Martini
    Pages 159-176
  11. Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawłowski
    Pages 177-196
  12. Klaus Weihrauch, Xizhong Zheng
    Pages 210-219
  13. Ulrich Hensel, Bart Jacobs
    Pages 220-241
  14. Paul Hoogendijk, Roland Backhouse
    Pages 242-260
  15. Kazem Lellahi, Val Tannen
    Pages 261-280
  16. Anna Bucalo, Giuseppe Rosolini
    Pages 281-292
  17. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.
Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.

Keywords

Category Theory Domain Theory Logical Systems Rewriting Systems Turing Type Theory computer selection semantics

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0026977
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63455-3
  • Online ISBN 978-3-540-69552-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications