Logic of domains
By: Guo-Qiang Zhang.
Series: Progress in theoretical computer science
Publisher: Birkhauser
Published: 1991
Place of publication: Boston
Language: eng
Number of pages: 259
Subjects: Programming languages (Electronic computers) -- Semantics.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 251-256) and index.
Revision of thesis (Ph. D.)--University of Cambridge, 1989.