-
1
-
-
0001643398
-
Domains for computation in mathematics, physics and exact real arithmetic
-
Edalat A. Domains for computation in mathematics, physics and exact real arithmetic Bull. Symb. Logic 3 4 1997 401-452
-
(1997)
Bull. Symb. Logic
, vol.3
, Issue.4
, pp. 401-452
-
-
Edalat, A.1
-
2
-
-
0004339461
-
The way-below relation of function spaces over semantic domains
-
Erker T. Escardó M.H. Keimel K. The way-below relation of function spaces over semantic domains Topology Appl. 89 1-2 1998 61-74
-
(1998)
Topology Appl.
, vol.89
, Issue.1-2
, pp. 61-74
-
-
Erker, T.1
Escardó, M.H.2
Keimel, K.3
-
3
-
-
77956457690
-
Injective spaces via the filter monad
-
Escardó M.H. Injective spaces via the filter monad Topology Proc. 22 2 1997 97-110
-
(1997)
Topology Proc.
, vol.22
, Issue.2
, pp. 97-110
-
-
Escardó, M.H.1
-
4
-
-
0001897066
-
Properly injective spaces and function spaces
-
Escardó M.H. Properly injective spaces and function spaces Topology Appl. 89 1-2 1998 75-120
-
(1998)
Topology Appl.
, vol.89
, Issue.1-2
, pp. 75-120
-
-
Escardó, M.H.1
-
5
-
-
0038047605
-
The regular-locally-compact coreflection of stably locally compact locale
-
Escardó M.H. The regular-locally-compact coreflection of stably locally compact locale J. Pure Appl. Algebra 157 1 2001 41-55
-
(2001)
J. Pure Appl. Algebra
, vol.157
, Issue.1
, pp. 41-55
-
-
Escardó, M.H.1
-
7
-
-
84968484601
-
The spectral theory of distributive continuous lattices
-
Hofmann K.H. Lawson J.D. The spectral theory of distributive continuous lattices Trans. Amer. Math. Soc. 246 1978 285-310
-
(1978)
Trans. Amer. Math. Soc.
, vol.246
, pp. 285-310
-
-
Hofmann, K.H.1
Lawson, J.D.2
-
8
-
-
0037480863
-
On the order theoretical foundation of a theory of quasicompactly generated spaces without separation axiom
-
R. -E Hoffmann (Ed.), : Univ. of Bremen
-
Hofmann K.H. Lawson J.D. On the order theoretical foundation of a theory of quasicompactly generated spaces without separation axiom, in: Hoffmann R.-E. (Ed.), Continuous Lattices and Related Topics Mathematik-Arbeitspapiere 27 1982 143-160 Univ. of Bremen
-
(1982)
Continuous Lattices and Related Topics Mathematik-Arbeitspapiere
, vol.27
, pp. 143-160
-
-
Hofmann, K.H.1
Lawson, J.D.2
-
9
-
-
0013457461
-
Local compactness and continuous lattices
-
B. Banaschewski, & R. -E Hoffmann (Eds.), Berlin: Springer
-
Hofmann K.H. Mislove M. Local compactness and continuous lattices, in: Banaschewski B. Hoffmann R.-E. (Eds.), Continuous Lattices Lecture Notes in Math. 871 1981 209-248 Springer Berlin
-
(1981)
Continuous Lattices Lecture Notes in Math.
, vol.871
, pp. 209-248
-
-
Hofmann, K.H.1
Mislove, M.2
-
10
-
-
84976003627
-
General function spaces, products and continuous lattices
-
Isbell J. General function spaces, products and continuous lattices Math. Proc. Cambridge Philos. Soc. 100 1986 193-205
-
(1986)
Math. Proc. Cambridge Philos. Soc.
, vol.100
, pp. 193-205
-
-
Isbell, J.1
-
11
-
-
0004072372
-
-
Cambridge: Cambridge Univ. Press
-
Johnstone P.T. Stone Spaces 1982 Cambridge Univ. Press Cambridge
-
(1982)
Stone Spaces
-
-
Johnstone, P.T.1
-
12
-
-
85023014054
-
The versatile continuous order
-
M. Main, A. Melton, M. Mislove, & D. Schmidt (Eds.), Languages Lecture Notes Comput. Sci. Berlin: Springer Languages
-
Lawson J.D. The versatile continuous order, in: Main M. Melton A. Mislove M. Schmidt D. (Eds.), Mathematical Foundations of Programming Languages Lecture Notes Comput. Sci. 298 1987 134-160 Springer Berlin
-
(1987)
Mathematical Foundations of Programming
, vol.298
, pp. 134-160
-
-
Lawson, J.D.1
-
14
-
-
0042059490
-
Personal communication
-
Dagsthul Seminar on Topology, June 2000
-
J.D. Lawson, Personal communication, Dagsthul Seminar on Topology, June 2000
-
(2000)
-
-
Lawson, J.D.1
-
15
-
-
0003763736
-
Topologia e Ordem
-
Univ. of Chicago Press in Portuguese; English transl. Topology and Order Van Nostrand Princeton
-
Nachbin L. Topologia e Ordem 1950 Univ. of Chicago Press in Portuguese; English transl. Topology and Order 1965 Van Nostrand Princeton
-
(1950)
-
-
Nachbin, L.1
-
16
-
-
0001995203
-
Continuous lattices
-
F. W. Lawvere (Ed.), Lecture Notes in Math. Berlin: Springer
-
Scott D.S. Continuous lattices, in: Lawvere F.W. (Ed.), Toposes, Algebraic Geometry and Logic Lecture Notes in Math. 274 1972 97-136 Springer Berlin
-
(1972)
Toposes, Algebraic Geometry and Logic
, vol.274
, pp. 97-136
-
-
Scott, D.S.1
|