메뉴 건너뛰기




Volumn 92, Issue 1-2, 2009, Pages 169-192

On domain theory over girard quantales

Author keywords

(generalized) continuous domains; (generalized) way below relation; Rounded ideal completion

Indexed keywords

(GENERALIZED) CONTINUOUS DOMAINS; (GENERALIZED) WAY-BELOW RELATION; ABSTRACT BASIS; COMMUTATIVE LINEAR LOGIC; CONTINUOUS DOMAIN; CONTINUOUS MAP; DISTRIBUTIVITY; DOMAIN THEORY; FUNDAMENTAL CONCEPTS; POWERDOMAINS; QUANTALE; QUANTALES; QUASI-METRIC SPACES; REASONING PRINCIPLES; ROUNDED IDEAL COMPLETION; TRUTH VALUES; WAY-BELOW RELATION;

EID: 67651204886     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/FI-2009-0071     Document Type: Article
Times cited : (30)

References (28)
  • 1
    • 0001847686 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 11
    • 67651248613 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.