Title: Domain theory, logic and computation
First published: 2003
Subjects: Congresses, Semantics, Programming languages (Electronic computers), Programming languages (electronic computers)
LC classification: QA76.7 .I5754 2001, QA76.7 .I5754 2001