Section 4: Basic Structure of Denotational Definitions
Here we present the format for Denotational definitions using the abstract syntax and semantic algebra formats to define the appearance and the meaning of the language. The two are connected by a function called the valuation function.