-
1
-
-
0001847686
-
Domain Theory
-
S.Abramsky, D.M. Gabbay and T.S.E. Maibaum, editors, Oxford University Press
-
Abramsky, S. and Jung, A. (1994) Domain Theory. In S.Abramsky, D.M. Gabbay and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science 3, pp. 1-168, Oxford University Press.
-
(1994)
Handbook of Logic in Computer Science
, vol.3
, pp. 1-168
-
-
Abramsky, S.1
Jung, A.2
-
2
-
-
0000339283
-
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces
-
America, P. and Rutten, J.J.M.M (1989) Solving Reflexive Domain Equations in a Category of Complete Metric Spaces, J. Comput. Syst. Sci. 39(3), pp. 343-375.
-
(1989)
J. Comput. Syst. Sci
, vol.39
, Issue.3
, pp. 343-375
-
-
America, P.1
Rutten, J.J.M.M.2
-
3
-
-
0008932222
-
Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding
-
Bonsangue,M.M., van Breugel, F. and Rutten, J.J.M.M. (1998) Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding, Theoretical Computer Science 193(1-2), pp. 1-51.
-
(1998)
Theoretical Computer Science
, vol.193
, Issue.1-2
, pp. 1-51
-
-
Bonsangue, M.M.1
van Breugel, F.2
Rutten, J.J.M.M.3
-
4
-
-
0031461105
-
Quantales and continuity spaces
-
Flagg, R.C. (1997) Quantales and continuity spaces, Algebra Universalis 37, pp. 257-276.
-
(1997)
Algebra Universalis
, vol.37
, pp. 257-276
-
-
Flagg, R.C.1
-
6
-
-
0031125836
-
Continuity Spaces: Reconciling Domains and Metric Spaces
-
Flagg, R.C., Kopperman, R. (1997) Continuity Spaces: Reconciling Domains and Metric Spaces, Theoretical Computer Science 177(1), pp. 111-138.
-
(1997)
Theoretical Computer Science
, vol.177
, Issue.1
, pp. 111-138
-
-
Flagg, R.C.1
Kopperman, R.2
-
7
-
-
0037029913
-
The essence of ideal completion in quantitative form
-
Flagg, R.C., Sünderhauf, P. (2002) The essence of ideal completion in quantitative form. Theoretical Computer Science 278(1-2), pp. 141-158.
-
(2002)
Theoretical Computer Science
, vol.278
, Issue.1-2
, pp. 141-158
-
-
Flagg, R.C.1
Sünderhauf, P.2
-
8
-
-
0008960107
-
A Logical Approach to Quantitative Domain Theory
-
available on-line at
-
Flagg, R.C., Sünderhauf, P. and Wagner, K.R. (1996) A Logical Approach to Quantitative Domain Theory, Topology Atlas Preprint no. 23, available on-line at: http://at.yorku.ca/e/a/p/p/23.htm
-
(1996)
Topology Atlas Preprint no
, vol.23
-
-
Flagg, R.C.1
Sünderhauf, P.2
Wagner, K.R.3
-
9
-
-
16244373256
-
Continuous lattices and domains
-
of
-
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M. and Scott, D.S. (2003) Continuous lattices and domains. Volume 93 of Encyclopedia of mathematics and its applications.
-
(2003)
Encyclopedia of mathematics and its applications
, vol.93
-
-
Gierz, G.1
Hofmann, K.H.2
Keimel, K.3
Lawson, J.D.4
Mislove, M.5
Scott, D.S.6
-
11
-
-
67651248613
-
-
Heckmann, R. (2007) Similarity, Topology, and Uniformity, presented at Dagstuhl workshop Logic, Computability and Topology in Computer Science: A New Perspective for Old Disciplines, submitted. Available on-line at: http://rw4.cs.uni-sb.de/ heckmann/domains.html
-
Heckmann, R. (2007) Similarity, Topology, and Uniformity, presented at Dagstuhl workshop "Logic, Computability and Topology in Computer Science: A New Perspective for Old Disciplines", submitted. Available on-line at: http://rw4.cs.uni-sb.de/ heckmann/domains.html
-
-
-
-
12
-
-
34547667545
-
Topological theories and closed objects
-
Hofmann, D. (2007) Topological theories and closed objects, Adv. Math. 215, pp. 789-824.
-
(2007)
Adv. Math
, vol.215
, pp. 789-824
-
-
Hofmann, D.1
-
13
-
-
0000295902
-
Continuous categories and exponentiable toposes
-
Johnstone, P. and Joyal, A. (1982) Continuous categories and exponentiable toposes, J. Pure Appl. Algebra 25, pp. 255-296.
-
(1982)
J. Pure Appl. Algebra
, vol.25
, pp. 255-296
-
-
Johnstone, P.1
Joyal, A.2
-
15
-
-
35748952799
-
Complete and directed complete Omega-categories
-
Lai, Hongliang and Zhang, Dexue (2007) Complete and directed complete Omega-categories. Theoretical Computer Science 388(1-3),pp. 1-25.
-
(2007)
Theoretical Computer Science
, vol.388
, Issue.1-3
, pp. 1-25
-
-
Lai, H.1
Zhang, D.2
-
17
-
-
84876745268
-
Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory
-
Pedicchio, M.C. and Tholen, W. Eds, Cambridge University Press, 440 pp
-
Pedicchio, M.C. and Tholen, W. Eds. (2004) Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory. Encyclopaedia of Mathematics and Its Applications 97, Cambridge University Press, 440 pp.
-
(2004)
Encyclopaedia of Mathematics and Its Applications
, vol.97
-
-
-
19
-
-
84968501906
-
A Subdirect-Union Representation for Completely Distributive Complete Lattices
-
Raney, G.N. (1953) A Subdirect-Union Representation for Completely Distributive Complete Lattices Proceedings of the American Mathematical Society, 4(4), pp. 518-522.
-
(1953)
Proceedings of the American Mathematical Society
, vol.4
, Issue.4
, pp. 518-522
-
-
Raney, G.N.1
-
20
-
-
0030408301
-
Elements of generalized ultrametric domain theory
-
Rutten, J.J.M.M. (1996) Elements of generalized ultrametric domain theory, Theoretical Computer Science 170, pp. 349-381.
-
(1996)
Theoretical Computer Science
, vol.170
, pp. 349-381
-
-
Rutten, J.J.M.M.1
-
21
-
-
85034837164
-
Quasi-uniformities: Reconciling Domains and Metric Spaces
-
Smyth, M.B. (1988) Quasi-uniformities: Reconciling Domains and Metric Spaces. Lecture Notes in Computer Science 298, pp. 236-253.
-
(1988)
Lecture Notes in Computer Science
, vol.298
, pp. 236-253
-
-
Smyth, M.B.1
-
22
-
-
0001818543
-
Totally bounded spaces and compact ordered spaces as domains of computation
-
G.M. Reed, A. W. Roscoe, and R. F. Wachter, editors, Clarendon Press
-
Smyth, M.B. (1991) Totally bounded spaces and compact ordered spaces as domains of computation. In G.M. Reed, A. W. Roscoe, and R. F. Wachter, editors, Topology and Category Theory in Computer Science, pp. 207-229. Clarendon Press.
-
(1991)
Topology and Category Theory in Computer Science
, pp. 207-229
-
-
Smyth, M.B.1
-
23
-
-
84963017359
-
Completeness of quasi-uniform and syntopological spaces
-
Smyth, M.B. (1994) Completeness of quasi-uniform and syntopological spaces. Journal of the London Mathematical Society 49, pp. 385-400.
-
(1994)
Journal of the London Mathematical Society
, vol.49
, pp. 385-400
-
-
Smyth, M.B.1
-
25
-
-
27844462025
-
Localic Completion of Generalized Metric Spaces I
-
Vickers, S. (2005) Localic Completion of Generalized Metric Spaces I, Theory and Applications of Categories 14, pp. 328-356.
-
(2005)
Theory and Applications of Categories
, vol.14
, pp. 328-356
-
-
Vickers, S.1
-
27
-
-
0002731807
-
Quantales and (Noncommutative) Linear Logic
-
Yetter, D.N. (1990) Quantales and (Noncommutative) Linear Logic, The Journal of Symbolic Logic, 55(1), pp. 41-64.
-
(1990)
The Journal of Symbolic Logic
, vol.55
, Issue.1
, pp. 41-64
-
-
Yetter, D.N.1
-
28
-
-
19044380940
-
Continuity in quantitative domains
-
Zhang, Q.-Y., Fan, L. (2005) Continuity in quantitative domains Fuzzy Sets and Systems 154(1), pp. 118-131.
-
(2005)
Fuzzy Sets and Systems
, vol.154
, Issue.1
, pp. 118-131
-
-
Zhang, Q.-Y.1
Fan, L.2
|