In this talk I will give an introduction to the basic concepts in this field. The semantics of programming language constructs such as constants, functions, state, and control operators will be illustrated using games. Constraints can be placed on the strategies used to play the games and these correspond closely to certain programming disciplines. 11th July, Paul Blampied , University of Nottingham. Monads reduced to monoids.
Monads are a concept from category theory that have applications in many areas of computing.
In this talk I will explain how the concept of a monad can be viewed in terms of the simpler set-theoretic concept of a monoid. 6th October, FOP Group , University of Nottingham. This is the first meeting of the Autumn term. Each member of the group will present a 5-minute overview of their recent and current work, addressed to a general audience. 13th October, Colin Taylor , University of Nottingham.