Table of contents

  1. Front Matter
  2. Eric Badouel, Philippe Darondeau
    Pages 24-43
  3. Yasuo Kawahara
    Pages 44-58
  4. Andrea Asperti, Agata Ciabattoni
    Pages 81-95
  5. J. M. E. Hyland, E. Moggi
    Pages 96-116
  6. Marcelo P. Fiore
    Pages 146-158
  7. Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude
    Pages 159-179
  8. Thorsten Altenkirch, Martin Hofmann, Thomas Streicher
    Pages 182-199
  9. J. R. Otto Jr.
    Pages 220-239
  10. Michael Fourman, Hayo Thielecke
    Pages 240-252
  11. Back Matter

About these proceedings

Introduction

This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.
The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.

Keywords

Category Theory Formal Languages Formal Logics Formale Logik Formale Sprachen Kategorientheorie Programmsemantik Type Theory calculus lambda calculus logic programming proof theory semantics set theory

Bibliographic information

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