Cover Image

Domain theory, logic, and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 /

Show other versions (1)

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...

Full description

Bibliographic Details
Corporate Authors: International Symposium on Domain Theory Sichuan Sheng, China, SpringerLink (Online service)
Other Authors: Zhang, Guo-Qiang, 1960-
Format: Conference Proceeding eBook
Language:English
Published: Dordrecht ; Boston : Kluwer Academic, 2003.
Series:Semantic structures in computation ; volume 3.
Subjects:
Programming languages (Electronic computers) > Semantics > Congresses.
Programming languages (Electronic computers) > Semantics.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.7 .I5754 2001eb
 
Call Number Status Get It
QA76.7 .I5754 2001eb Available