Category Theory and Computer Science

Manchester, UK, September 5–8, 1989 Proceedings

  • Editors
  • David H. Pitt
  • David E. Rydeheard
  • Peter Dybjer
  • Andrew M. Pitts
  • Axel Poigné
Conference proceedings

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

Table of contents

  1. Front Matter
  2. Ross Casley, Roger F. Crew, José Meseguer, Vaughan Pratt
    Pages 21-51
  3. Luca Cardelli, John C. Mitchell
    Pages 75-81
  4. G. C. Wralth
    Pages 118-127
  5. Thomas Ehrhard
    Pages 213-223
  6. Robert Harper, Donald Sannella, Andrzej Tarlecki
    Pages 250-272
  7. Narciso Martí-Oliet, José Meseguer
    Pages 313-340

About these proceedings

Keywords

Denotationelle Semantik Kategorientheorie Lamda-Kalkül Semantik von Programmiersprachen calculus logic petri net programming programming language sets

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0018340
  • Copyright Information Springer-Verlag 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-51662-0
  • Online ISBN 978-3-540-46740-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace