A paradigm for program semantics
Subtitle: power structures and duality
By: Chris Brink & Ingrid Rewitzky.
Contributors: Rewitzky, Ingrid M., 1968-
Series: Studies in logic, language, and information -- no. 17.
Publisher: CSLI Publications; FoLLI
Published: 2001
Place of publication: Stanford, Calif
Language: eng
Number of pages: 273
Subjects: Logic, Symbolic and mathematical.; Semantics (Philosophy); Programming languages (Electronic computers) -- Semantics.
Notes: Includes bibliographical references (p. 239-251) and indexes.