Domain theory, logic and computation
Subtitle: proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
By: edited by G.Q. Zhang ... [et al.].
Contributors: Zhang, Guo-Qiang, 1960-
Series: Semantic structures in computation -- v. 3.
Publisher: Kluwer Academic
Published: 2003
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 196
Subjects: Programming languages (Electronic computers) -- Semantics -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references.