Skip to main content

Theory of domains and nearby

  • Conference paper
  • First Online:
Formal Methods in Programming and Their Applications

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

  • 171 Accesses

Abstract

The author presents a topological approach to the development of the theory of domains.

Research supported in part by the Russian Foundation for Fundamental Research (93-011-16014).

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Jung, A.: Cartesian Closed Categories of Domains. CWI Tract 66 Stichting Math. Centrum Amsterdam (1989)

    Google Scholar 

  2. Ershov, Yu. L.: La théorie des énumération. Actes Congr. Intern. Math. 1 Gauthier-Villars Paris (1971) 223–227

    Google Scholar 

  3. Scott, D.: Models for various type-free calculi. LMPS IV. Studies in Logic No 74 North-Holland Amsterdam (1973) 157–188

    Google Scholar 

  4. Ershov, Yu. L.: Theory of A-spaces. Algebra i Logika 12 No 4 (1973) 369–416

    Google Scholar 

  5. Scott, D.: Domains for denotational semantics. ICALP 82. Springer LNCS No 140 (1982) 577–613

    Google Scholar 

  6. Ershov, Yu. L.: Theory of enumerations [in Russian]. Nauka Moscow (1977)

    Google Scholar 

  7. Ershov, Yu. L.: Model ℂ of partial continuous functional. Logic Colloq.'76. Studies in Logic No 87 North-Holland Amsterdam (1977) 455–467

    Google Scholar 

  8. Peretyat'kin, M. G.: Strongly constructive models and enumerations of the boolean algebra of recursive sets. Algebra i Logika 10 No 5 (1971) 535–557

    Google Scholar 

  9. Goncharov, S. S., Ershov, Yu. L., and Sviridenko, D. I.: Semantic programming. Information Processing 86. North-Holland Amsterdam (1986) 1993–1100

    Google Scholar 

  10. Ershov, Yu. L.: On f A-spaces. Algebra i Logika 25 No 5 (1986) 533–543

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Dines Bjørner Manfred Broy Igor V. Pottosin

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ershov, Y.L. (1993). Theory of domains and nearby. In: Bjørner, D., Broy, M., Pottosin, I.V. (eds) Formal Methods in Programming and Their Applications. Lecture Notes in Computer Science, vol 735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039696

Download citation

  • DOI: https://doi.org/10.1007/BFb0039696

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57316-6

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics