-
1
-
-
0001770258
-
Total sets and objects in domain theory
-
U. Berger, Total sets and objects in domain theory, Ann. Pure Appl. Logic 60 (1993) 91-117.
-
(1993)
Ann. Pure Appl. Logic
, vol.60
, pp. 91-117
-
-
Berger, U.1
-
2
-
-
85044492182
-
Domain representability of metric spaces
-
to appear
-
J. Blanck, Domain representability of metric spaces, Ann. Pure Appl. Logic, to appear.
-
Ann. Pure Appl. Logic
-
-
Blanck, J.1
-
3
-
-
0029406623
-
Domain theory and integration
-
A. Edalat, Domain theory and integration, Theoret. Comput. Sci. 151 (1995) 163-193.
-
(1995)
Theoret. Comput. Sci.
, vol.151
, pp. 163-193
-
-
Edalat, A.1
-
4
-
-
77956951454
-
The model C of the partial continuous functionals
-
R.O. Gandy and J.M.E. Hyland, eds., Logic Colloquium 76, North-Holland, Amsterdam
-
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.
-
(1977)
Studies in Logic
, vol.87
, pp. 455-467
-
-
Ershov, Yu.1
-
5
-
-
0346773761
-
Formal spaces
-
A. Troelstra and D. van Dalen, eds., North-Holland, Amsterdam
-
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.
-
(1982)
Heyting Symposium
, pp. 455-467
-
-
Fourman, M.P.1
Grayson, R.J.2
-
7
-
-
0002909550
-
Intuitionistic formal spaces - A first communication
-
D. Skordev, ed., Plenum Press, New York
-
G. Sambin, Intuitionistic formal spaces - a first communication, in: (D. Skordev, ed., Mathematical Logic and its Applications (Plenum Press, New York, 1987), 187-204.
-
(1987)
Mathematical Logic and Its Applications
, pp. 187-204
-
-
Sambin, G.1
-
8
-
-
0038413225
-
Formal spaces and their effective presentations
-
I. Sigstam, Formal spaces and their effective presentations, Arch. Math. Logic 34 (1995) 211-246.
-
(1995)
Arch. Math. Logic
, vol.34
, pp. 211-246
-
-
Sigstam, I.1
-
9
-
-
0003331696
-
Mathematical Theory of Domains
-
Cambridge Univ. Press, Cambridge
-
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).
-
(1994)
Cambridge Tracts in Theoretical Computer Science
, vol.22
-
-
Stoltenberg-Hansen, V.1
Lindström, I.2
Griffor, E.R.3
-
11
-
-
0000931855
-
Effective algebras
-
S. Abramsky, D. Gabbay and T.S.E. Maibaum, eds., Oxford Univ. Press, Oxford
-
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.
-
(1995)
Handbook of Logic in Computer Science
, vol.4
, pp. 357-526
-
-
Stoltenberg-Hansen, V.1
Tucker, J.V.2
|