According to folklore, Algol is an orthogonall extension of a simple imperative programming language with a call-by-name functional language. The former contains assignments, branching constructs, and compound statements; the latter is based on the typed-calculus. To formalize Algol's notion of orthogonalityy, we deene an extended-calculus that models Algol. The calculus includes the full-reduc...

Game semantics is a powerful method of semantic analysis for programming languages. It gives mathematically accurate models (“fully abstract”) for a wide variety of programming languages. Game semantic models are combinatorial characterisations of all possible interactions between a term and its syntactic context. Because such interactions can be concretely represented as sets of sequences, it ...