Topology, domain theory and theoretical computer science

Topology and its Applications

Volumn 89, Issue 1-2, 1998, Pages 3-59

  Mislove, Michael W ^a  

^a Tulane University   (United States)

Author keywords

Domain theory; Power domains; Scott topology; Untyped lambda calculus

Indexed keywords

EID: 0038817831     PISSN: 0016660X     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0166-8641(97)00222-8     Document Type: Article

References (8)

1. S. Abramsky, A domain equation for bisimulation, Inform, and Comput. 92 (1991) 161-218.
2. S. Abramsky, Domain theory in logical form, J. Pure Appl. Logic 51 (1991) 1-77.
3. S. Abramsky and A. Jung, Domain theory, in: Handbook of Computer Science and Logic, Vol. 3 (Clarendon Press, 1995).
4. P. Aczel, Non-Well-Founded Sets, CSLI Lecture Notes 14 (CSLI Publications, Stanford, CA, 1985).
5. F. Alessi, P. Baldan. G. Belle and J.J.R.R. Rutten, Solutions of functorial and non-functorial metric domain equations, Electron. Notes in Theoret. Comput. Sci. 1 (1995), URL: http://www. elsevier.nl/locate/entcs/volume 1 .html.
6. P. America and J.J.R.R. Rutten, Solving reflexive domain equations in a category of complete metric spaces, J. Comput. System Sci. 39 (1989) 343-375.
7. A. Asperti and G. Longo, Categories, Types and Structure (MIT Press, Cambridge, MA, 1991) 306.
8. H.P. Barendregt, The Lambda Calculus, its Syntax and Semantics (North-Holland, Amsterdam, 1981) 615.