+612 9045 4394
Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 - Guo-Qiang Zhang

Domain Theory, Logic and Computation

Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

By: Guo-Qiang Zhang (Editor), J.A. Lawson (Editor), Ying Ming Liu (Editor), M-.K. Luo (Editor)

Hardcover Published: 31st January 2004
ISBN: 9781402018329
Number Of Pages: 197

Share This Book:


RRP $628.99
or 4 easy payments of $108.94 with Learn more
Ships in 7 to 10 business days

Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics.
Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and continuity, and representations of domains as event and logical structures.
Researchers and students in theoretical computer science should find this a valuable source of reference. The survey papers at the beginning should be of particular interest to those who wish to gain an understanding of some general ideas and techniques in this area.

Contributing authors
Playful, streamlike computation
Prologue: playing with Böhm trees
Symmetric algorithms, sequential algorithms
Related works
A few more remarks
Universal types and what they are good for
Universal objects
Denotational semantics
Universal types
Syntax and semantics of PCF
Examples of universal types
Conclusions and further directions
Relational representations of hyper-continuous lattices
Regular representations of completely distributive lattices
Finitely regular representations of hyper-continuous lattices
Convergence classes and spaces of partial functions
Convergence spaces and convergence classes
Convergence classes and VDM
Compactness of (X --> Y)
Conclusions and further work
On meet-continuous dcpos
Basic properties of meet-continuous dcpos
Dcpos with the Hausdorff Lawson topology
Adjunctions between quasicontinuous domains and continuous domains
Scott-open filters
Concluding remarks
External characterizations of continuous sL-domains
Continuous sL-domains and their characterizations by function spaces
External characterizations by posets of ideals
Projectives and injectives in the category of quantales
Regular projectives in the category of quantales
Injective objects in the category of quantales
On minimal event and concrete data structures
Event structures, concrete data structures and their domains
Congruences on prime intervals and associated structures
Maximal and minimal structures
A note on strongly finite sequent structures
Basic definitions and results
Domain constructions
Strongly finite sequent structures
Sequent structures and preorders
Constructions on preorders
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9781402018329
ISBN-10: 1402018320
Series: Semantics Structures in Computation
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 197
Published: 31st January 2004
Publisher: Springer-Verlag New York Inc.
Country of Publication: US
Dimensions (cm): 24.0 x 16.0  x 1.27
Weight (kg): 0.48