• A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras (with Mehrnoosh Sadrzadeh). Forthcoming in Post-proceedings of WoLLIC 2014. Mathematical Structures in Computer Science. [arXiv]
  • Higher-order decision theory (with Paulo Oliva, Evguenia Shprits, Viktor Winschel and Philipp Zahn). In Algorithmic Decision Theory (ADT) 2017. Lectures Notes in Artificial Intelligence 10576:241-254, 2017. [pdf]
  • Selection equilibria of higher order games (with Paulo Oliva, Evguenia Shprits, Viktor Winschel and Philipp Zahn). In Practical Aspects of Declarative Languages (PADL) 2017. Lecture Notes in Computer Science 10137:136-151, 2017. [pdf] Accompanying Haskell code: [hs]
  • Towards compositional game theory. PhD thesis, Queen Mary University of London, 2016. [pdf]
  • Dialectica categories and games with bidding. In Post-proceedings of TYPES’14. Leibniz International Proceedings in Informatics 39:89-110, 2015. [pdf]
  • Monad transformers for backtracking search. In Mathematically Structured Functional Programming (MSFP) 2014. Electronic Proceedings in Theoretical Computer Science 153:31-50, 2014. [link] Accompanying Haskell code: [zip]
  • A generalisation of Nash’s theorem with higher-order functionals. In Proceedings of the Royal Society A, 2013. [link] (Discussion)


  • Coherence for lenses and open games. [arXiv]
  • Compositionality and string diagrams for game theory (with Evguenia Shprits, Viktor Winschel and Philipp Zahn). [arXiv]
  • A compositional approach to economic game theory (with Neil Ghani, Viktor Winschel and Philipp Zahn). [arXiv]
  • The selection monad as a CPS transformation. [arXiv]