Relating Models

  • Masahito Hasegawa
Part of the Distinguished Dissertations book series (DISTDISS)

Abstract

One advantage of our axiomatic approach to the semantic models of sharing theories is that it enables us to compare similar systems arising from computer science by relating the classes of models. In this chapter we give a few case studies: we relate the first-order acyclic sharing theories and the higher-order ones; and our sharing theories with those of Moggi’s notions of computation [71, 72]; and also with intuitionistic linear type theory [12, 18, 20].

Keywords

Kelly 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 1999

Authors and Affiliations

  • Masahito Hasegawa
    • 1
  1. 1.Research Institute for Mathematical SciencesKyoto UniversityKyotoJapan

Personalised recommendations