Skip to main content
School of Electronic Engineering and Computer Science

Higher-order Game Theory

Supervisor: Dr Paulo Oliva

Research group(s): Theory

This project aims to re-develop Game Theory using notions of higher-type computation, as in

All notions of Game Theory (such as player, game, strategy, equilibrium) can be recast in terms of higher-order constructions, or properties of such constructions. More details can be found in:

Some knowledge of a strongly typed functional language such as Haskell would be desirable.