Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science) - Softcover
Synopsis
Metasoft Primer The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-ind... Full description
"synopsis" may belong to another edition of this title.
