A Paradigm for Program Semantics: Power Structures and Duality
Brink, Chris; Rewitsky, Ingrid
Center for the Study of Language & Information / FoLLi, 2001. Softcover; First Printing.
ISBN 1575863448.
Series Title: Studies in logic, language, and information, no. 17. ; 8vo - 8" to 9" tall;
Subjects: Logic, Symbolic and mathematical. Semantics (Philosophy). Programming languages (Electronic computers) -- Semantics.
Description: xi, 273 p. : ill. ; 23 cm.
Contents: 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
