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

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 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
  • About this book