Logical aspects of denotational semantics

  • E. Robinson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 283)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. S. Abramsky [1986] A Domain Equation for Bisimulation, unpublished manuscript, 1986Google Scholar
  2. S. Abramsky [1987] Domain Theory in Logical Form, in Proc. of the IEEE Sympsoium on Logic in Computer Science (LICS '87), IEEE Computer Society Press (1987) 47–53Google Scholar
  3. S.D. Brookes [1985] An Axiomatic Treatment of a Parallel Programming Language, in Logics of Programs (edited by R. Parikh), Lecture Notes in Computer Science 193, Springer (1985) 41–60Google Scholar
  4. J. de Bakker [1980] Mathematical Theory of Program Correctness, Prentice Hall, New Jersey, 1980Google Scholar
  5. A. Cremers & S. Ginsburg [1975] Context-free grammar forms, in J. Comput. System Sci. (1) (1975) 86–116Google Scholar
  6. J.M.E. Hyland [1981] Function spaces in the category of locales, in Continuous Lattices, Lecture Notes in Mathematics 871, Springer-Verlag (1981) 264–281Google Scholar
  7. P.T. Johnstone [1982] Stone Spaces, Cambridge University Press, 1982Google Scholar
  8. [1983] The Point of Pointless Topology, in Bull. Amer. Math. Soc. (8) 1 (1983) 41–53Google Scholar
  9. P.T. Johnstone [1985] Vietoris Locales and Localic Semilattices, in Continuous Lattices and Their Applications (edited by R.-E. Hoffmann & K.H. Hoffmann), Pure & Applied Mathematics 101, Marcel Dekker (1985) 155–180Google Scholar
  10. G.D. Plotkin [1981] “Pisa Notes”, unpublished lecture notes, 1981Google Scholar
  11. E.P. Robinson [1986] Power-domains, Modalities, and the Vietoris Monad, Cambridge University Computer Laboratory technical report no. 98, 1986Google Scholar
  12. D.S. Scott [1982] Domains for denotational semantics, in Automata, Languages and Programming, Proceedings of ICALP '82 (edited by M. Nielsen & E.M. Schmidt), Lecture Notes in Computer Science 140, Springer-Verlag (1982) 577–613Google Scholar
  13. G. Winskel [1985] On Powerdomains and Modality, in Theor. Comp. Sci. (36) (1985) 127–137Google Scholar
  14. G.Q. Zhang [1987] Towards Semantic Based Proof Systems, unpublished manuscript, 1987Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • E. Robinson
    • 1
  1. 1.Department of Pure Mathematics and Mathematical StatisticsCambridgeEngland

Personalised recommendations