Denotational meaning

This talk presents a novel semantics for Idealized ALGOL using games, which is quite unlike traditional denotational models of state.

Their denotational semantics are fully abstract with respect to contextual equivalence.

We look at denotational semantics, using sets and functions, the substitution lemma and equational theory.

The purpose of the denotational semantics of a language is to assign a value to every expression in the langauge.