Table of contents

  1. Front Matter
  2. QingMing Ma, John C. Reynolds
    Pages 1-40
  3. John Gateley, Bruce F. Duba
    Pages 41-53
  4. Scott F. Smith
    Pages 54-76
  5. Gary T. Leavens, Don Pigozzi
    Pages 144-167
  6. Jon Barwise
    Pages 168-192
  7. Michael Barr
    Pages 221-234
  8. Achim Jung, Leonid Libkin, Hermann Puhlmann
    Pages 235-258
  9. Bard Bloom, Marta Kwiatkowska
    Pages 350-375
  10. S. Kasangian, A. Labella
    Pages 403-425
  11. Guo-Qiang Zhang
    Pages 426-435
  12. G. Rosolini
    Pages 436-445
  13. Ernest G. Manes
    Pages 446-456
  14. Stephen L. Bloom, Zoltán ésik
    Pages 457-476
  15. Nils Klarlund
    Pages 477-491
  16. Austin Melton, Bernd S. W. Schröder, George E. Strecker
    Pages 492-506
  17. Back Matter

About these proceedings


This volume contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegie Mellon University, March 1991. The conference continued a series of annual meetings, alternating between workshop and conference formats, intended to bring together computer scientists and mathematicians for discussion of research problems, results and directions in programming language semantics and related areas. A major goalof the series is to improve communication and interaction between researchers in these areas and to establish ties between related areas of research. The volume contains revised and refereed versions of each of the contributed papers and refereed papers by three invited speakers:Jon Barwise, John Reynolds, and Mitchell Wand.


Mathematical Foundations Mathematical Logic Mathematische Grundlagen Mathematische Logik Monoid Programmier-Semantik Programmiersprachen Programming Semantics Theory of Computation Wissenschaftliches Rechnen algorithms calculus lambda calculus logic sets

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55511-7
  • Online ISBN 978-3-540-47194-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site