Title: Exercises in denotational semantics