A paradigm for program semantics : power structures and duality /
Brink, C.(Chris)
Rewitzky, Ingrid M.,1968-
European Association for Logic, Language and Information.
Stanford, Calif. ; [Great Britain] : CSLI Publications & FoLLI,
c2001.
Includes bibliographical references (p. 239-251) and indexes.
Logic, Symbolic and mathematical.
Semantics (Philosophy)
Programming languages (Electronic computers)