Semantics of Data Types

International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

  • Editors
  • Gilles Kahn
  • David B. MacQueen
  • Gordon Plotkin
Conference proceedings

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

Table of contents

  1. Front Matter
  2. R. Burstall, B. Lampson
    Pages 1-50
  3. Luca Cardelli
    Pages 51-67
  4. James G. Hook
    Pages 69-85
  5. Peter Mosses
    Pages 87-107
  6. Kim B. Bruce, Albert R. Meyer
    Pages 131-144
  7. John C. Reynolds
    Pages 145-156
  8. Christopher T. Haynes
    Pages 157-175
  9. A. Bertoni, G. Mauri, P. Miclioli, M. Ornaghi
    Pages 177-195
  10. Lawrence Paulson
    Pages 197-214
  11. Thierry Despeyroux
    Pages 215-233
  12. John Mitchell
    Pages 257-277
  13. M. Dezani-Ciancaglini, I. Margaria
    Pages 279-300
  14. Donald Sannella, Andrzej Tarlecki
    Pages 337-356

About these proceedings

Keywords

Datentyp Semantik lambda calculus logic proof theory semantics

Bibliographic information

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