Advertisement

© 1987

Category Theory and Computer Science

Edinburgh, U.K., September 7–9, 1987 Proceedings

  • Editors
  • David H. Pitt
  • Axel Poigné
  • David E. Rydeheard
Conference proceedings

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

Table of contents

  1. Front Matter
  2. G. Rosolini
    Pages 1-11
  3. Thierry Coquand, Thomas Ehrhard
    Pages 40-56
  4. Stefano Kasangian, Anna Labella, Alberto Pettorossi
    Pages 57-70
  5. David B. Benson
    Pages 71-97
  6. Glynn Winskel
    Pages 98-113
  7. Lawrence S. Moss, José Meseguer, Joseph A. Goguen
    Pages 158-181
  8. Christoph Beierle, Angelika Voß
    Pages 196-218
  9. E. Robinson
    Pages 238-253
  10. Steven Vickers
    Pages 270-289
  11. J. M. McDill, A. C. Melton, G. E. Strecker
    Pages 290-300

About these proceedings

Keywords

Category theory Computer Hardware algorithms calculus computer science logic

Bibliographic information