TY  - BOOK
AU  - Brink,Chris
AU  - Rewitzky,Ingrid M.
TI  - A paradigm for program semantics: power structures and duality 
SN  - 1575863456 :
U1  - 160 
PY  - 2001///
CY  - California
PB  - Centre for the study of Language and Information Standford
KW  - Logic, Symbolic and mathematical
KW  - Semantics (Philosophy)
KW  - Programming languages (Electronic computers)
KW  - Semantics
ER  -