Games as a semantics for functional programming

(Note that we are starting early this week, for a double-header talk.)

Alex will tell us how to think of games as providing a semantics for functional programming.