Skip to main content
SpringerLink
Log in

A topological framework for cpos lacking bottom elements

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

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

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.

5. References

  1. Gierz, G., et. al. A Compendium of Continuous Lattices, Springer-Verlag, Berlin, 1980.

    Google Scholar 

  2. Kamimura, T., and Tang, A. Total objects of domains, Theoretical Computer Science 1984.

    Google Scholar 

  3. Plotkin, G. The category of complete partial orders, Postgraduate lecture notes, Computer Science Dept., Edinburgh University, Scotland, 1982.

    Google Scholar 

  4. Reynolds, J. Semantics of the domain of flow diagrams, Journal of the ACM 24-3(1977) 484–503.

    Google Scholar 

  5. Schmidt, D. Denotational Semantics, Allyn and Bacon, Boston, in press.

    Google Scholar 

  6. Scott, D. Lectures on a mathematical theory of computation, Report PRG-19, Programming Research Group, Oxford University, 1980.

    Google Scholar 

  7. Scott, D. Domains for denotational semantics, Proc. Ninth ICALP, Lecture Notes in Computer Science 140, Springer-Verlag, 1982, pp.577–613.

    Google Scholar 

  8. Willard, S. General Topology, Addison-Wesley, Boston, 1968.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Kansas State University, 66506, Manhattan, KS

    Austin C. Melton

  2. Computer Science Department, Iowa State University, 50011, Ames, IA

    David A. Schmidt

Authors
  1. Austin C. Melton
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David A. Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Austin Melton

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Melton, A.C., Schmidt, D.A. (1986). A topological framework for cpos lacking bottom elements. In: Melton, A. (eds) Mathematical Foundations of Programming Semantics. MFPS 1985. Lecture Notes in Computer Science, vol 239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16816-8_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-16816-8_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16816-4

  • Online ISBN: 978-3-540-44861-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation