Topological completeness in an ideal model for polymorphic types

  • Ernst-Erich Doberkat
Part III Domain Theory
Part of the Lecture Notes in Computer Science book series (LNCS, volume 298)


We have a look at the topological structure underlying the ideal model of recursive polymorphic types proposed by MacQueen, Plotkin and Sethi. We show that their central argument in establishing a well defined semantical function, viz., completeness with respect to a metric obtained from the construction of their domain, is a special case of complete uniformities which arise in a natural way from the study of closeness of ideals on domains. These uniformities are constructed and studied, and a general fixed — point theorem is derived for maps defined on these ideals.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    de Bakker, J. W., Kok, J. N.: Towards a Uniform Topological Treatment of Streams and Functions on Streams. In W. Brauer (Ed.): Proc. 12th ICALP. Lecture Notes in Computer Science 194, Springer — Verlag, 1985, 140–148Google Scholar
  2. [2]
    Castaing, C., Valadier, M.: Convex Analysis and Measurable Multifunctions. Lecture Notes in Mathematics 580, Springer–Verlag, Berlin, 1977Google Scholar
  3. [3]
    Hewitt, E., Stromberg, K.: Real and Abstract Analysis. Springer — Verlag, Berlin, 1969Google Scholar
  4. [4]
    Kelly, J.L.: General Topology. Van Nostrand Reinhold, New York, 1955Google Scholar
  5. [5]
    Landes, Th.: The Banach Fixed Point Principle in Uniform Spaces. Preprint, Department of Economics, University of Paderborn, Sept. 1986Google Scholar
  6. [6]
    MacQueen, D., Plotkin, G., Sethi, R.: An Ideal Model for Recursive Polymorphic Types. Expanded Version (presented in condensed form at the 11th Ann. ACM Symp. Princ. Progr. Lang., Salt Lake City, UT, 1984)Google Scholar
  7. [7]
    Stoy, J. E.: Denotational Semantics: The Scott — Strachey Approach to Programming Language Theory. MIT Press, Cambridge MA, 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Ernst-Erich Doberkat
    • 1
  1. 1.Department of Computer ScienceUniversity of HildesheimHildesheimWest Germany

Personalised recommendations