Representability of locally compact regular spaces by domains and formal spaces

Theoretical Computer Science

Volumn 179, Issue 1-2, 1997, Pages 319-331

  Sigstam, Inger ^a   Stoltenberg Hansen, Viggo ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL METHODS; FORMAL LOGIC; FUNCTIONS; NUMBER THEORY; TOPOLOGY;

DOMAIN REPRESENTABILITY; FORMAL SPACES;

ALGEBRA;

EID: 0031169510     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00152-1     Document Type: Article

References (12)

1. U. Berger, Total sets and objects in domain theory, Ann. Pure Appl. Logic 60 (1993) 91-117.
2. J. Blanck, Domain representability of metric spaces, Ann. Pure Appl. Logic, to appear.
3. A. Edalat, Domain theory and integration, Theoret. Comput. Sci. 151 (1995) 163-193.
4. Yu. Ershov, The model C of the partial continuous functionals, in: R.O. Gandy and J.M.E. Hyland, eds., Logic Colloquium 76, Studies in Logic, Vol. 87 (North-Holland, Amsterdam, 1977) 455-467.
5. M.P. Fourman and R.J. Grayson, Formal spaces, in: A. Troelstra and D. van Dalen, eds., Heyting Symposium (North-Holland, Amsterdam, 1982), 455-467.
6. P.T. Johnstone, Stone Spaces, Cambridge Studies in Advanced Mathematics 3 (Cambridge Univ. Press, Cambridge, 1982).
7. G. Sambin, Intuitionistic formal spaces - a first communication, in: (D. Skordev, ed., Mathematical Logic and its Applications (Plenum Press, New York, 1987), 187-204.
8. I. Sigstam, Formal spaces and their effective presentations, Arch. Math. Logic 34 (1995) 211-246.
9. V. Stoltenberg-Hansen, I. Lindström and E. R. Griffor, Mathematical Theory of Domains, Cambridge Tracts in Theoretical Computer Science Vol. 22 (Cambridge Univ. Press, Cambridge, 1994).
10. V. Stoltenberg-Hansen and J.V. Tucker, Complete local rings as domains, J. Symbolic Logic 53 (1988) 603-624.
11. V. Stoltenberg-Hansen and J.V. Tucker, Effective algebras, in: S. Abramsky, D. Gabbay and T.S.E. Maibaum, eds., Handbook of Logic in Computer Science, Vol. 4 (Oxford Univ. Press, Oxford, 1995), 357-526.
12. K. Weihrauch and U. Schreiber, Embedding metric spaces into cpo's, Theoret. Comput. Sci. 16(1981) 5-24.