Factorisation Systems on Domains

Applied Categorical Structures

Volumn 7, Issue 1-2, 1999, Pages 113-128

  Kegelmann, Mathias ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

Cartesian closed categories; Domain theory; Factorisation systems; Stable domains

Indexed keywords

EID: 0042725469     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1008644319842     Document Type: Article

References (16)

1. Abramsky, S. and Jung, A.: Domain theory, in S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum (eds.), Handbook of Logic in Computer Science, Vol. 3, Clarendon Press, 1994, pp. 1-168.
2. Adámek, J., Herrlich, H., and Strecker, G.: Abstract and Concrete Categories, Wiley, 1990.
3. Amadio, R.: Bifinite domains: Stable case, in Pitt et al. (eds.), Proc. Category Theory in Comp. Sci. 91, Paris, SLNCS 530, 1991, pp. 16-33. Full version appeared as TR 3-91, Liens Paris.
4. Berry, G.: Stable models of typed λ-calculi, in Proceedings of the 5th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 62, Springer-Verlag, 1978, pp. 72-89.
5. Berry, G., Curien, P.-L., and Lévy, J.-J.: Full abstraction for sequential languages: The state of the art, in M. Nivat and J. Reynolds (eds.), Algebraic Semantics, Cambridge University Press, 1985, pp. 89-132.
6. Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., and Scott, D. S.: A Compendium of Continuous Lattices, Springer-Verlag, 1980.
7. Girard, J.-Y.: The system F of variable types: Fifteen years later, Theoret. Comput. Sci. 45 (1986), 159-192.
8. Girard, J.-Y.: Linear logic, Theoret. Comput. Sci. 50 (1987), 1-102.
9. Jung, A.: The classification of continuous domains, in Logic in Computer Science, IEEE Computer Society Press, 1990, pp. 35-40.
10. Kegelmann, M.: Faktorisierungssysteme auf Bereichen, Master's thesis, Technische Hochschule Darmstadt, September 1995, 63 pp.
11. Lamarche, F.: A large Cartesian closed category of domains, to appear in Information and Computation.
12. Lamarche, F.: Stable domains are generalized topological spaces, Theoret. Comput. Sci. 111 (1993), 103-123.
13. Mac Lane, S.: Categories for the Working Mathematician, Springer-Verlag, 1971.
14. Winskel, G.: Events in computation, PhD Thesis, University of Edinburgh, 1981.
15. Winskel, G. and Nielsen, M.: Models for concurrency, in S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum (eds.), Handbook of Logic in Computer Science, Vol. 4, Clarendon Press, 1994.
16. Zhang, G.-Q.: The largest Cartesian closed category of stable domains, draft paper, 1995.