Title of article
Topology, domain theory and theoretical computer science
Author/Authors
Mislove، نويسنده , , Michael W.، نويسنده ,
Issue Information
دوماهنامه با شماره پیاپی سال 1998
Pages
57
From page
3
To page
59
Abstract
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.
Keywords
domain theory , Scott topology , Power domains , Untyped lambda calculus
Journal title
Topology and its Applications
Serial Year
1998
Journal title
Topology and its Applications
Record number
1575957
Link To Document