A paradigm for program semantics : power structures and duality /
Chris Brink [and] Ingrid Rewitzky
- California : Centre for the study of Language and Information Standford, 2001
- xi, 273 p. : ill. ; 23 cm.
- Studies in logic, languageand information ; no. 17 .
1575863456 : USD 67.00 1575863448
Logic, Symbolic and mathematical Semantics (Philosophy) Programming languages (Electronic computers)--Semantics