Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A powerdomain construction

  • Part II Structure Theory Of Continuous Posets And Related Objects
  • Conference paper
  • First Online:
Mathematical Foundations of Programming Language Semantics (MFPS 1987)

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

  • 193 Accesses

Abstract

We show that the forgetful functor from the category of nondeterministic algebraic lattices into the category of algebraic lattices has a left adjoint. The construction provides an analog of the Plotkin powerdomain entirely within the category of algebraic lattices. Similar results hold for the category of bounded complete algebraic posets and the category of continuous lattices.

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

  • GIERZ, G., HOFMANN, K.H., KIEMEL, K., LAWSON, J.D., MISLOVE, M., SCOTT, D.S., (1980), A Compendium of Continuous Lattices, Springer-Verlag, 371 pp.

    Google Scholar 

  • GRÄTZER, G. (1979), Universal Algebra, 2ndEd., Springer-Verlag, 581 pp.

    Google Scholar 

  • HENNESSY, M. and PLOTKIN, G.D. (1979), Full Abstraction for a Simple Parallel Programming Language, in: MFCS 79, ed. by J. Bečvář, LNCS vol. 74, Springer-Verlag 1979, pp. 108–120.

    Google Scholar 

  • HRBACEK, K. (1985), Powerdomains as Algebraic Lattices, in: ICALP 85, ed. by W. Brauer, LNCS vol. 194, Springer-Verlag 1985, pp. 281–289.

    Google Scholar 

  • HRBACEK, K. (1987), Convex Powerdomains, to appear in Information and Computation.

    Google Scholar 

  • PLOTKIN, G.D. (1976), A Powerdomain Construction, SIAM J. Comp. 5, pp. 452–486.

    Article  Google Scholar 

  • PLOTKIN, G.D. (1981), Unpublished 1981/82 Lecture Notes.

    Google Scholar 

  • SCOTT, D.S. (1981), Lectures on a Mathematical Theory of Computation, Oxford Univ. Computing Lab. Prog. Research Group — 19, 148 pp.

    Google Scholar 

  • SMYTH, M.B. (1978), Powerdomains, J. Comp. System Sci. 16, 23–36.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, City College of the City University of New York, 10031, New York, New York

    Karel Hrbacek

Authors
  1. Karel Hrbacek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Main A. Melton M. Mislove D. Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hrbacek, K. (1988). A powerdomain construction. In: Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Language Semantics. MFPS 1987. Lecture Notes in Computer Science, vol 298. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19020-1_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-19020-1_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19020-2

  • Online ISBN: 978-3-540-38920-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation