Table of contents

  1. Front Matter
  2. Aurelio Carboni, Peter J. Freyd, Andre Scedrov
    Pages 23-42
  3. Ernie Manes
    Pages 85-120
  4. Philip S. Mulry
    Pages 121-132
  5. Jimmie D. Lawson
    Pages 134-160
  6. Michael Mislove
    Pages 161-172
  7. Robert E. Kent
    Pages 173-199
  8. Karel Hrbacek
    Pages 200-212
  9. Achim Jung
    Pages 303-310
  10. Stephen D. Brookes
    Pages 312-330
  11. G. M. Reed, A. W. Roscoe
    Pages 331-343
  12. Thierry Coquand, Carl Gunter, Glynn Winskel
    Pages 344-363
  13. Tsutomu Kamimura, Adrian Tang
    Pages 364-371
  14. Kim B. Bruce, Jon G. Riecke
    Pages 455-473
  15. Adrienne Bloss, Paul Hudak
    Pages 476-489
  16. Charles Wells, Michael Barr
    Pages 490-527
  17. Maria Zamfir
    Pages 528-549
  18. Uwe F. Pleban, Peter Lee
    Pages 550-571
  19. David A. Watt
    Pages 572-598
  20. Steven Vickers
    Pages 599-615
  21. David B. Benson
    Pages 616-637

About these proceedings


This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop survey as many areas of the Mathematical Foundations of Programming Language Semantics as reasonably possible. The Workshop attracted 49 submitted papers, from which 28 papers were chosen for presentation. The papers ranged in subject from category theory and Lambda-calculus to the structure theory of domains and power domains, to implementation issues surrounding semantics.


Action Algorithms ML Miranda algorithm programming programming language real-time semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19020-2
  • Online ISBN 978-3-540-38920-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking