Mathematical Foundations of Programming Semantics This volume is taken from a conference which aimed to bring together computer scientists and mathematicians for discussion of research problems, results and directions in programming language semantics and related areas. Full description
"synopsis" may belong to another edition of this title.