Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1992

Mathematical Foundations of Programming Semantics

7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings

Editors:

  1. Stephen Brookes
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Main
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Austin Melton
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Michael Mislove
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. David Schmidt
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (26 papers)

  1. Front Matter

    PDF

  2. Types, abstraction, and parametric polymorphism, part 2

    • QingMing Ma, John C. Reynolds
    Pages 1-40

  3. Call-by-value combinatory logic and the lambda-value calculus

    • John Gateley, Bruce F. Duba
    Pages 41-53

  4. From operational to denotational semantics

    • Scott F. Smith
    Pages 54-76

  8. Typed homomorphic relations extended with subtypes

    • Gary T. Leavens, Don Pigozzi
    Pages 144-167

  9. Information links in domain theory

    • Jon Barwise
    Pages 168-192

  12. HSP type theorems in the category of posets

    • Michael Barr
    Pages 221-234

  13. Decomposition of domains

    • Achim Jung, Leonid Libkin, Hermann Puhlmann
    Pages 235-258

  19. Trade-offs in true concurrency: Pomsets and mazurkiewicz traces

    • Bard Bloom, Marta Kwiatkowska
    Pages 350-375
Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation