Stone duality and representation of stable domain

Computers and Mathematics with Applications

Volumn 34, Issue 1, 1997, Pages 27-41

  Chen, Yixiang ^a,b  

^a SOOCHOW UNIVERSITY   (China)

^b SHANGHAI NORMAL UNIVERSITY   (China)

Author keywords

Denotational semantics of programming languages; Domain theory; Stable domains; Stone duality and representation

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONS; TOPOLOGY;

DOMAIN THEORY; STABLE DOMAINS; STONE DUALITY; VICKERS TOPOLOGICAL SYSTEMS;

BOOLEAN ALGEBRA;

EID: 0031189328     PISSN: 08981221     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0898-1221(97)00096-5     Document Type: Article

References (24)

1. M.H. Stone, The theory of representatons for Boolean algebras, Thrans. Amer. Math. Soc. 40, 37-111, (1936).
2. P.T. Johnstone, Stone Spaces, Cambridge University Press, (1982).
3. S. Abramsky, Domain theory in logical form, Ann. Pure Appl. Logic 51, 1-77, (1991).
4. S. Vickers, Topology via Logic, Cambridge University Press, (1989).
5. G. Berry, Stable models of typed λ-calculi, In Fifth International Colloguium on Automata, Languages and Programs, Lecture Notes in Computer Science, Volume 62, pp. 72-89, Springer-Verlag, Berlin, (1978).
6. T. Ehrhard and P. Malacaria, Stone duality for stable functions, In Category and Computer Science (Paris, 1991), Lecture Notes in Computer Science, Volume 530, pp. 1-15, Springer, Berlin, (1991).
7. R. Jagadesan, L-domains and lossless powerdomains, In Proceedings of the Fifth International Conference on Mathematics Foundation of Programming Semantics, Lecture Notes in Computer Science, Volume 442, pp. 364-372, Springer, Berlin, (1989).
8. F. Lamarcher, Stable domains are generalized topological spaces, Theoret. Comput. Sci. 111, 103-123, (1993).
9. A.M. Pitts, Notes on categorical logic, manuscript, Cambridge University, (1993).
10. P. Taylor, An algebraic approach to stable domains, J. Pure Appl. Algebra 64, 171-203, (1990).
11. G.Q. Zhang, Stable neighbourhoods, Theoret. Comput. Sci. 93, 143-157, (1992).
12. G.Q. Zhang, Disjunctive systems and L-domains, In International Conference on Automata, Languages and Programmin, Vienna, 1992; Lecture Notes in Computer Science, Volume 623, pp. 284-295, Springer-Verlag, Berlin, (1992).
13. G.Q. Zhang, Some monoidal closed category of stable domains and event structures, Math. Structures Comput. Sci. 3 (2), 259-276, (1993).
14. G.Q. Zhang, A note on maxima stable functions, Theoret. Comput. Sci. (to appear).
15. P.T. Johnstone, A syntactic approach to Dier's localizable categories, In Applications of Sheaves (Proc. Res. Sympos. Appl. Sheaf Theory to Logic, Algebra and Anal., Durham, 1977; Lecture Notes in Mathematics, Volume 753, pp. 466-478, Springer, Berlin, (1979).
16. C.A. Gunter and A. Jung, Coherence and consistency in domains, J. Pure Appl. Algebra 63, 49-66, (1990).
17. W. Siepinski, General Topology, Toronto, (1952).
18. G.J. Wang, Semitopological Space (I), (Natural Science edition), pp. 34-54, J. Shaanxi Normal University, (1977).
19. G.J. Wang, Semitopological Space (II), (Natural Science edition), pp. 1-17, J. Shaanxi Normal University, (1979).
20. S. Abramsky, A domain equation for bisimulation, Inform. Comput. 92, 167-218, (1991).
21. R.M. Amdio, Bifinite domains: Stable case, In Category Theory and Computer Science (Paris, 1991), Lecture Notes in Computer Science, Volume 530, pp. 16-33, Springer, Berlin, (1991).
22. T. Coquand, Categories of embddings, Theoret. Comput. Sci. 68, 221-237, (1989).
23. M. Droste, On stable domains, Theoret. Comput. Sci. 111, 89-101, (1993).
24. A. Jung, Cartesian closed categories of algebraic CPOs, Theoret. Comput. Sci. 70, 233-250, (1990).