Denotational semantics

Exercise 7. Let . Construct the denotational semantics of C, as in Definition 16.

Solution. Let

where are computed as follows.