MPG.eBooks - Search Results - "topology"

Cover Image

1

Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Published 2001

Springer Netherlands

Table of Contents: “...1 Encounters Between Topology and Domain Theory -- 1 Introduction -- 2 Introductory Domain Theory...”

Cover Image

2

Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Published 2003

Springer Netherlands

“..., logical, and topological ideas and provide a natural framework for modelling and reasoning about...”