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

  • DOI https://doi.org/10.1007/3-540-18508-9
  • Copyright Information Springer-Verlag 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-18508-6
  • Online ISBN 978-3-540-48006-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book