Brink, Chris, 1951-

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

160