Skip to main content
SpringerLink
Log in

Category Theory and Computer Science

7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Eugenio Moggi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Giuseppe Rosolini
    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 1290)

Included in the following conference series:

Conference proceedings info: CTCS 1997.

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 (18 papers)

  1. Front Matter

    Download chapter PDF

  2. An introduction to n-categories

    • John C. Baez
    Pages 1-33

  3. Allegories as a basis for algorithmics

    • Richard S. Bird
    Pages 34-46

  4. Separating shape from data

    • C. B. Jay
    Pages 47-48

  5. A factorisation theorem in rewriting theory

    • Paul-André Melliès
    Pages 49-68

  6. Monads and modular term rewriting

    • Christoph Lüth, Neil Ghani
    Pages 69-86

  7. A 2-categorical presentation of term graph rewriting

    • A. Corradini, F. Gadducci
    Pages 87-105

  8. Presheaf models for the π-calculus

    • Gian Luca Cattani, Ian Stark, Glynn Winskel
    Pages 106-126

  9. Categorical modelling of structural operational rules case studies

    • Daniele Turi
    Pages 127-146

  10. Specifying interaction categories

    • D. Pavlović, S. Abramsky
    Pages 147-158

  11. Shedding new light in the world of logical systems

    • Uwe Wolter, Alfio Martini
    Pages 159-176

  12. Combining and representing logical systems

    • Till Mossakowski, Andrzej Tarlecki, Wieslaw PawÅ‚owski
    Pages 177-196

  13. A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)).

    • A. Andreev, S. Soloviev
    Pages 197-209

  14. Effectiveness of the global modulus of continuity on metric spaces

    • Klaus Weihrauch, Xizhong Zheng
    Pages 210-219

  15. Proof principles for datatypes with iterated recursion

    • Ulrich Hensel, Bart Jacobs
    Pages 220-241

  16. When Do Datatypes Commute?

    • Paul Hoogendijk, Roland Backhouse
    Pages 242-260

  17. A calculus for collections and aggregates

    • Kazem Lellahi, Val Tannen
    Pages 261-280

  18. Lifting

    • Anna Bucalo, Giuseppe Rosolini
    Pages 281-292

  19. General synthetic domain theory — A logical approach (extended abstract)

    • B. Reus, Th. Streicher
    Pages 293-313

  20. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Category Theory and Computer Science

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation