Advertisement

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
  8. Valeria C. V. de Paiva
    Pages 341-356
  9. Peter Aczel, Nax Mendler
    Pages 357-365

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Engineering