A maximal monoidal closed category of distributive algebraic domains

Information and Computation

Volumn 116, Issue 1, 1995, Pages 10-25

  Huth, Michael ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346903889     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1006/inco.1995.1002     Document Type: Article

References (28)

1. Abramsky, S. (1991), Domain theory in logical form, Ann. Pure Appl. Logic 51. 1-77.
2. Banaschewski, B., and Nelson, E. (1976), Tensor products and bimorphisms, Canad. Math. Bull. 19, 385-402.
3. Barr, M. (1991), *-autonomous categories and linear logic, Math. Structures Comput. Set. 1 (2), 159-178.
4. Erne, M. (1990), "Tensor Products for Bounded Posets Revisited," Order, Vol. 7. pp. 295-314, Kluwer Academic, Dordrecht.
5. Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. W., and Scott, D. (1980), "A Compendium of Continuous Lattices," Springer- Verlag, New York, 1980.
6. Girard, J.-Y. (1987), "Linear Logic," Theoretical Computer Science, Vol. 50, pp. 11-02, North-Holland, Amsterdam.
7. Girard, J.-Y., Lafont, Y., and Taylor, P. (1989). "Proofs and Types," Cambridge Tracts in Theoretical Computer Science, Vol. 7, Cambridge University Press, Cambridge, UK.
8. Gunter, C., Mosses, P., and Scott, D. (1990), Semantic domains and denotational semantics, in "Handbook of Theoretical Computer Science," Vol.2 (L. van Leeuwen, Ed.), pp. 575-674, North-Holland, Amsterdam.
9. Hoofman, R. (1992), "Non-Stable Models of Linear Logic," CIP-DATA Koninklijke Bibliotheek, Den Haag.
10. Huwig, H., and Poigne, A. (1990), A note on inconsistencies caused by fix points in a Cartesian closed category, Theoret. Comput. Sci. 73, 101-112.
11. Johnstone, P. T. (1982), "Stone Spaces," Cambridge Studies in Advanced Mathematics, Vol. 3, Cambridge Univ. Press, London.
12. Jung, A. (1989), "Cartesian Closed Categories of Domains," CWI Tract, Vol. 66, Math. Centrum, Amsterdam.
13. Jung, A., Libkin, L., and Puhlmann, H. (1991). Decomposition of domains, in "Proceedings, Seventh Workshop on the Mathematical Foundations of Programming Semantics, Carnegie-Mellon University, Pittsburgh, March 1991," Lect. Notes in Comput. Sci., Vol.598, pp. 235-258, Springer-Verlag, New York/Berlin.
14. MacLane, S. (1971), "Categories for the Working Mathematician," Springer-Verlag, New York.
15. Marti-Oliet, M., and Meseguer, J. (1991), Duality in closed and linear categories, preprint, CSLI, Stanford University.
16. Marti-Oliet, M., and Meseguer, J. (1992), From Petri nets to linear logic through categories: A survey. Internal. J. Found. Comput. Sri. 2 (4), 297-399.
17. Melton A., Schroder, B. S. W., and Strecker, G. E. (1991), Connections, in "Proceedings, Seventh Workshop on the Mathematical Foundations of Programming Semantics, Carnegie-Mellon University. Pittsburgh, March 1991," Lect. Notes in Comput. Sci., Vol.598, pp. 492-506, Springer-Verlag, New York/Berlin.
18. Mislove, M. W. (1984). When are order scattered and topologically scattered the same?, in "Annals of Discrete Mathematics," Vol. 23, pp. 61-80, North-Holland, Amsterdam.
19. Schmidt, D. A. (1986), "Denotational Semantics," Allyn & Bacon, Rockleigh, NJ.
20. Scott, D. (1972), Continuous lattices, in "Lecture Notes in Mathematics," Vol. 274, pp. 97-136, Springer-Verlag, New York.
21. Scott, D. (1982). Domains for denotational semantics, in "ICALP82," Nielsen, M., and Schmidt, E. M. (Eds.), Lect. Notes in Comput. Sci., Vol. 140, Springer-Verlag, New York/Berlin.
22. Smyth, M. B. (1983), The largest cartesian closed category of domains, Theoret. Comput. Sci. 27, 109-119.
23. Troelstra, A. S. (1983), "Lectures On Linear Logic," CSLI Lecture Notes, No. 29, Stanford University.
24. Winskel, G. (1985), On power domains and modality, Theoret. Comput. Sci. 36, 127-137.
25. Winskel, G. (1988), An introduction to event structures, in "Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency," Lect. Notes in Comput. Sci., Vol. 354, pp. 364-399, Springer-Verlag, New York/Berlin.
26. Zhang, G. Q. (1991a), "Logic of Domains," Birkhauser, Boston.
27. Zhang, G. Q. (1991b), A monoidal closed category of event structures, in "Proceedings, Seventh Workshop on the Mathematical Foundations of Programming Semantics, Carnegie-Mellon University, Pittsburgh, March 1991." Lect. Notes in Comput. Sci., Vol.598, pp. 426-135, Springer-Verlag, New York/Berlin.
28. Zhang, G. Q. (1991c), dl-domains as prime information systems. Inform. and Comput. 100, 151-177.