Topology, domain theory and theoretical computer science
| Autor: | Michael W. Mislove |
|---|---|
| Rok vydání: | 1998 |
| Předmět: |
Theoretical computer science
Domain theory Semantics (computer science) Topology Power domains Operational semantics Domain (software engineering) Denotational semantics Well-founded semantics Scott topology Untyped lambda calculus Computer Science::Programming Languages Geometry and Topology Programming domain Programming language theory Mathematics |
| Zdroj: | Topology and its Applications. 89:3-59 |
| ISSN: | 0166-8641 |
| DOI: | 10.1016/s0166-8641(97)00222-8 |
| Popis: | In this paper, we survey the use of order-theoretic topology in theoretical computer science, with an emphasis on applications of domain theory. Our focus is on the applications of domain-theoretic methods in programming language semantics, and on problems of potential interest to topologists that stem from concerns that semantics generates. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect