Skip to main content
SpringerLink
Log in

Fixed points and closure operators: Programmological aspects

  • Software-Hardware Systems
  • Published:
Cybernetics and Systems Analysis Aims and scope

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. D. B. Bui and V. N. Red'ko, “Programmological aspects of the fixed point method,” Kibern. Sistem. Anal., No. 5, 158–167 (1994).

    MathSciNet  Google Scholar 

  2. D. Scott, “An outline of mathematical computation theory,” Kibern. Sb., new series, No. 14, 107–121, Mir, Moscow (1977).

    Google Scholar 

  3. D. Scott, “Lattice theory, data types, and semantics,” in: Data in Programming Languages. Abstraction and Typology [Russian translations], Mir, Moscow (1982), pp. 25–53.

    Google Scholar 

  4. D. Scott, “Domains in denotational semantics,” in: Mathematical Logic in Programming [Russian translations], Mir, Moscow (1991), pp. 58–118.

    Google Scholar 

  5. D. S. Scott, “Lectures on a mathematical theory of computation,” in: Theoretical Foundation of Programming Methodology (1982), pp. 145–292.

  6. A. Tarski, “A lattice-theoretical fixpoint theorem and its applications,” Pacific J. Math.,5, No. 2, 285–309 (1955).

    MATH  MathSciNet  Google Scholar 

  7. S. Abian and A. Brown, “A theorem on partially ordered sets, with application to fixed point theorems,” Canad. J. Math.,13, No. 1, 78–82 (1961).

    MathSciNet  Google Scholar 

  8. N. Bourbaki, Set Theory [Russian translation], Mir, Moscow (1965).

    Google Scholar 

  9. R. Engelking, General Topology [Russian translation], Mir, Moscow (1986).

    Google Scholar 

  10. H. P. Barendregt, The Lambda Calculus: Its Syntax and Semantics [Russian translation], Mir, Moscow (1985).

    Google Scholar 

  11. L. A. Skornyakov, Elements of the Theory of Structures [in Russian], Nauka, Moscow (1982).

    Google Scholar 

  12. G. Birkhoff, Lattice Theory [Russian translation], Nauka, Moscow (1984).

    Google Scholar 

Download references

Authors
  1. D. B. Bui
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. N. Red'ko
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 113–121, January–February, 1995.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bui, D.B., Red'ko, V.N. Fixed points and closure operators: Programmological aspects. Cybern Syst Anal 31, 96–102 (1995). https://doi.org/10.1007/BF02366800

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation