Advertisement

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
Energy, Utilities & Environment
Aerospace
Engineering