Effectively given spaces

  • T. Kamimura
  • A. Tang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 154)


Continuous Space Compact Hausdorff Space Finite Intersection Partial Object Finiteness Property 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Hyland, M. [1979], “Filter spaces and continuous functionals,” Annals of Mathematical Logic 16, 101–143.Google Scholar
  2. [2]
    Kamimura, T. & Tang, A. [1983], “Total objects of domains,” Technical report, University of Kansas.Google Scholar
  3. [3]
    Kleene, S. C. [1959], “Countable functionals,” Constructivity in Mathematics, North-Holland, 81–100.Google Scholar
  4. [4]
    Kreisel, G. [1959], “Interpretation of analysis by means of contructive functionals of finite types,” same as [3], 81–100.Google Scholar
  5. [5]
    Sciore, E. & Tang, A. [1978], “Computability theory in admissible domains,” Sigact, San Diego, 95–104.Google Scholar
  6. [6]
    Scott, D. [1972], “Continuous lattices,” Springer Lecture Notes in Mathematics, Vol. 274, 97–136.Google Scholar
  7. [7]
    Scott, D. [1972], “Lattice theory, data types and semantics,” Formal Semantics of Programming Languages, edited by R. Rustin, Prentice Hall, 65–106.Google Scholar
  8. [8]
    Scott, D. [1981], “Lecture on a mathematical theory of computation,” Oxford University Computing Laboratory, Technical monograph PRG-19.Google Scholar
  9. [9]
    Scott, D. [1982], “Domains for denotational semantics,” ICALP, Aarhus, Denmark.Google Scholar
  10. [10]
    Smyth, M. [1977], “Effectively given domains,” Theoretical Computer Science, Vol. 5, 257–274.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • T. Kamimura
    • 1
  • A. Tang
    • 1
  1. 1.Department of Computer ScienceUniversity of KansasLawrenceUSA

Personalised recommendations