A new approach to quantitative domain theory

Electronic Notes in Theoretical Computer Science

Volumn 45, Issue , 2001, Pages 77-87

  Fan, Lei ^a  

^a CAPITAL NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMBINATORIAL MATHEMATICS; CONFORMAL MAPPING; CONVERGENCE OF NUMERICAL METHODS; FUZZY SETS; MATHEMATICAL MODELS; SEMANTICS; THEOREM PROVING;

MONOTONE MAPPING; QUANTITATIVE DOMAIN THEORY; STANDARD DOMAIN THEORY; ULTRAMETRIC DOMAINS;

COMPUTATION THEORY;

EID: 18944406904     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80956-3     Document Type: Conference Paper

References (20)

1. Abramsky S., Jung A. Domain theory. Abramsky S.D., Gabbay Maibaum T. "Handbook of Logic in Computer Science" vol. 3:1995;1-168 Oxford University Press
2. Alesi F., P. Baldan, G. Belle, and J.J.M.M. Rutten, Solutions of functorial and non-functorial metric domain equations, Electronic Notes in Theoretical Computer Science 1 (1995). URL: http://www.elsevier.nl/locate/entcs/ volume1.html.
3. Bishop E., Bridges D. "Constructive Analysis" 1985;Springer-Verlag
4. Bonsangue, M.M., F.van Breugel, J.J.M.M. Rutten, Generalized Ultrametric spaces: completion, topology, and powerdomains via the Yoneda embedding, Theoretical Computer Science 193 (1998), pp. 1-51.
5. Borceux F., Kelly G.M. A notion of limit for enriched categories. Bull. Austral. Math. Soc. 12:1975;49-72
6. Fan L., Some Questions in Domain Theory, Ph.D Thesis, Capital Normal University 2001. (In Chinese)
7. Flagg B., Kopperman R. Continuity Spaces: Reconciling Domains and Metric Spaces. Theoretical Computer Science. 177:1997;111-138
8. Flagg B., Kopperman R. Fixed points and reflexive domain equations in categories of continuity spaces. Electronic Notes in Theoretical Computer Science. 1:1995;. URL: http://www.elsevier.nl/locate/entcs/volume1.html
9. Flagg B., P. Sünderhauf and K. Wagner. A Logical Approach to Quantitative Domain Theory. Preprint Submitted to Elsevier, 1996.
10. Grayson R.J. Heyting-valued semantics. Lotti G., et al. Logic Colloquium' 82. 1983;181-208 Elservier Science
11. Höhle U. Fuzzy sets and subobjects. Jones A., et al. "Fuzzy Sets and Applications" 1986;69-76 D. Reidel Publishing Company
12. Lawvere F.W. Metric Spaces. Generalized Logic and Closed Categories, Rend. Sem. Mat. e. Fisico di Milano. 43:1973;135-166
13. Lowen R. Mathematics and Fuzziness. Jones A., et al. "Fuzzy Sets and Applications" 1986;3-38 D. Reidel Publishing Company
14. Monteiro L. Semantic domains based on sets with families of equivalences. Electronic Notes in Theoretical Computer Science. 11:1996;. URL: http://www.elsevier.nl/locate/entcs/volume11.html
15. Rutten M.J.J.M. Elements of generalized ultrametric domain theory. Theoreotical Computer Science. 170:1996;349-381
16. Rutten M.J.J.M. Weighted colimits and formal balls in generalized metric spaces. Topology and its Applications. 89:1998;179-202
17. Smyth M.B. Quasi-Uniformities: Reconciling Domains with Metric Space, Mathematical Foundations of Programming Language Semantics. Lecture Notes in Computer Science :1987;Springer-Verlag
18. Wagner K., Solving Recursive Domain Equations With Enriched Categories, Ph.D Thesis, Carnegie Mellon University 1994.
19. Wagner K., Liminf convergence in Ω-categories, Theoretical Computer Science, to appear.
20. Zheng, Chongyou, Fan L., Cui H.B. "Frame and Continuous Lattices" 2nd edition :2000;Capital Normal University Press, Beijing. (In Chinese)