A paradigm for program semantics : power structures and duality - Brink, Chris, 1951-; Rewitzky, Ingrid M., 1968- (California : Centre for the study of Language and Information Standford, 2001)
Keywords: Logic, Symbolic and mathematical; Semantics (Philosophy); Programming languages (Electronic computers) -- Semantics