Advertisement

© 1986

Category Theory and Computer Programming

Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings

  • Editors
  • David Pitt
  • Samson Abramsky
  • Axel Poigné
  • David Rydeheard
Book

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

Table of contents

  1. Front Matter
  2. David Pitt
    Pages 1-15
  3. David E. Rydeheard
    Pages 43-50
  4. David E. Rydeheard
    Pages 51-57
  5. Axel Poigné
    Pages 76-102
  6. Axel Poigné
    Pages 103-142
  7. Ernest G. Manes
    Pages 182-197
  8. M. B. Smyth
    Pages 225-241
  9. A. Labella, A. Pettorossi
    Pages 282-298
  10. A. Melton, D. A. Schmidt, G. E. Strecker
    Pages 299-312

About this book

Keywords

algorithm algorithms data model logic programming programming language semantics

Bibliographic information

  • Book Title Category Theory and Computer Programming
  • Book Subtitle Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings
  • Editors David Pitt
    Samson Abramsky
    Axel Poigne
    David Rydeheard
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI https://doi.org/10.1007/3-540-17162-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-17162-1
  • eBook ISBN 978-3-540-47213-1
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages X, 522
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Logics and Meanings of Programs
    Programming Techniques
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Aerospace
Engineering