Ebook: Topology, Domain Theory and Theoretical Computer Science
Author: Michael W. Mislove
- Genre: Mathematics // Computational Mathematics
- Tags: Domain theory Scott topology power domains untyped lambda calculus
- Year: 1997
- Publisher: Elsevier
- Language: English
- pdf
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 uses
of order-theoretic topology in programming language semantics, and on problems of
potential interest to topologists that stem from concerns that semantics generates.
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 uses
of order-theoretic topology in programming language semantics, and on problems of
potential interest to topologists that stem from concerns that semantics generates.
Download the book Topology, Domain Theory and Theoretical Computer Science for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)