Disjunctive systems and L-domains

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 623 LNCS, Issue , 1992, Pages 284-295

  Zhang, Guo Qiang ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COHERENT SPACES; L-DOMAIN; SCOTT DOMAINS;

AUTOMATA THEORY;

EID: 30244448179     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-55719-9_81     Document Type: Conference Paper

References (18)

1. Berry, G., Stable models of typed λ-calculi, Lecture Notes in Computer Science 62 (1978).
2. Diers, Y, Catégories Localisables, thèse de doctorat d’éetat, Paris VI (1976).
3. Droste, M., and Gobel, R., Noil-deterministic information systems and their domains, Theoretical Computer Science, 75 (1990).
4. Coquand, T., Categories of embeddings. Proceedings of the third annual symposium on logic in computer science, (1988)
5. Girard, J.-Y., Linear Logic, Theoretical Computer Science 50 (1987).
6. Gunter, C., Profinite solutions for recursive domain equations, PhD thesis, Department of Computer Science, Carnegie-Mellon University, (1985).
7. Johnstone, P.T., A syntactic approach to Diers’ localizable categories, Lecture Notes in Mathematics 753 (1977).
8. Johnstone, P.T., Stone spaces, Cambridge University Press (1982).
9. Jung, A., Cartesian closed categories of algebraic epos, Theoretical Computer Science 70 (1990)
10. Larsen, K.G., Winskel, G., Using information systems to solve recursive domain equations effectively, Lecture Notes in Computer Science 173 (1984).
11. Plotkin, G., A powerdomain construction, SIAM J. Computing 5 (1976).
12. Scott, D. S., Domains for denotational semantics, Lecture Notes in Computer Science 140 (1982).
13. Smyth, M.B., The largest cartesian closed category of domains, Theoretical Computer Science 27, (1983).
14. Zhang, G.Q., Logic of Domains, Birkhaueser, Boston (1991).
15. Zhang, G.Q., DI-domains as information systems, ICALP-1989, Italy. Revised version to appear in Information and Computation (1989).
16. Zhang, G.Q., Stable neighborhoods, Theoretical Computer Science vol 93 (1992).
17. Zhang, G.Q., A representation of SFP, to appear in Information and Computation (1990).
18. Zhang, G.Q., A monoidal closed category of event structures, proceedings of the 7-th conference on Mathematical Foundations of Programming Semantics, Pittsburgh, (1991).