phoenix

[Add to cart]
or
Print an order form.

Distributed for the Center for the Study of Language and Information

Chris Brink and Ingrid Rewitsky

A Paradigm for Program Semantics

Power Structures and Duality

286 pages,  6 x 9  © 2001
Series: Center for the Study of Language and Information - Studies in Logic, Language, and Information

Cloth $70.00

ISBN: 9781575863450   Published September 2001

Paper $28.50

ISBN: 9781575863443   Published September 2001

Preface
1. The Paradigm Triangle
2. Power Structures and Duality
3. Program Semantics
4. Verisimilitude
5. The Relational Model as a Priestley Space
6. Translations
A. Background in the Calculus of Binary Relations
B. Background in Lattice Theory
C. Background in Topology
Bibliography
Notation
Subject Index
Name Index
Subjects



You may purchase this title at these fine bookstores. Outside the USA, consult our international information page.

Questions about this title? email sales@press.uchicago.edu.