Mathematical Foundations of Programming Semantics This volume of conference proceedings focuses on the semantics of programming languages and the mathematics which support the study of semantics. Current research is also presented on denotational semantics and the application of semantics to category theory, logic and lattice theory. Full description
"synopsis" may belong to another edition of this title.