Skip to main content
SpringerLink
Log in

Information links in domain theory

  • Conference paper
  • First Online:
Mathematical Foundations of Programming Semantics (MFPS 1991)

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

The research for this paper was supported by research funds from Indiana University.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Barwise The Situation in Logic, CSLI Lecture Notes 17, Stanford, California (1989).

    Google Scholar 

  2. J. Barwise, “Toward a theory of constraints,” Submitted to Situation Theory and its Applications—III (1991).

    Google Scholar 

  3. J. Barwise and J.Etchemendy, “Information, infons, and inference,” in [5] (1990).

    Google Scholar 

  4. J. Barwise and J. Perry, Situations and Attitudes, Bradford Books, MIT Press, Cambridge, Massachusetts (1983).

    Google Scholar 

  5. R. Cooper, K. Mukai, and J. Perry (editors) Situation Theory and its Applications, Volume I CSLI Lecture Notes 22, Stanford, California (1990).

    Google Scholar 

  6. K. J. Devlin, Logic and Information, Cambridge University Press, Cambridge, England (1991).

    Google Scholar 

  7. Droste, M., and Gobel, R., Universal domains in the theory of denotational semantics of programming languages, Proc. of the IEEE 5th annual symposium on logic in computer science, (1990).

    Google Scholar 

  8. Droste, M., and Gobel, R., Non-deterministic information systems and their domains, Theoretical Computer Science, 75 (1990).

    Google Scholar 

  9. Tim Fernando Mathematical foundations of situation theory, Dissertation, Stanford University (1991).

    Google Scholar 

  10. Jean-Yves Girard, Yves Lafont, and Paul Taylor, Proofs and Types, Cambridge University Press (1989).

    Google Scholar 

  11. Scott, D. S., Completeness and axiomatizability in many-valued logic, Proceedings of the Tarski Symposium, Proceedings of Symposia in Pure Mathematics, 25, Amer Math Soc, (1971).

    Google Scholar 

  12. Scott, D. S., Domains for denotational semantics, Lecture Notes in Computer Science 140 (1982).

    Google Scholar 

  13. Jerry Seligman, Perspectives: a relativistic approach to the theory of information Dissertation from Univ of Edinburgh (1990).

    Google Scholar 

  14. Jerry Seligman, Perspectives in situation theory, in [5 (1990).

    Google Scholar 

  15. S. Vickers, Topology via Logic, Cambridge University Press (1989).

    Google Scholar 

  16. Zhang, G.Q., Logics of Domains, Ph.D. thesis, University of Cambridge (1989).

    Google Scholar 

Download references

Authors
  1. Jon Barwise
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Stephen Brookes Michael Main Austin Melton Michael Mislove David Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barwise, J. (1992). Information links in domain theory. In: Brookes, S., Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Semantics. MFPS 1991. Lecture Notes in Computer Science, vol 598. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55511-0_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-55511-0_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55511-7

  • Online ISBN: 978-3-540-47194-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation