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

Solution. Let where are computed as follows.

Solution. Let

where are computed as follows.