Fixed Points and Reflexive Domain Equations in Categories of Continuity Spaces-Reference-Cited by-同舟云学术

Fixed Points and Reflexive Domain Equations in Categories of Continuity Spaces

Published:1995 Issue: Volume:1 Page:182-198
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Flagg Bob,Kopperman Ralph

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference12 articles.

1. S. Abramsky and A. Jung, Domain Theory, in: Abramsky et. al., editors, Handbook of Logic in Computer Science, Vol. III, Oxford University Press, to appear.

2. Solving Reflexive Domain Equations in a Category of Complete Metric Spaces;America;J. Comput. System. Sci,1989

3. F. C. van Breugel, Three Metric Domains for Process Bisimulation, in: S. Brookes et. al., editors, Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics, Volume 802 of Lecture Notes in Computer Science, 1992, pp 103–121.

4. R. C. Flagg and R. Kopperman, Continuity Spaces: Reconciling Domains and Metric Spaces, submitted to: The Journal of Theoretical Computer Science.

5. A Compendium of Continuous Lattices;Gierz,1980

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The formal ball model for -categories;Mathematical Structures in Computer Science;2010-12-02

2. The limit–colimit coincidence theorem for -categories;Mathematical Structures in Computer Science;2010-03-25

3. Ordered fractal semigroups as a model of computation;Mathematical and Computer Modelling;2002-12

4. A New Approach to Quantitative Domain Theory;Electronic Notes in Theoretical Computer Science;2001-11

5. Nonsymmetric Distances and Their Associated Topologies: About the Origins of Basic Ideas in the Area of Asymmetric Topology;Handbook of the History of General Topology;2001