Publications

  • Higher-order decision theory (with Paulo Oliva, Evguenia Shprits, Viktor Winschel and Philipp Zahn). Forthcoming in Proceedings of Algorithmic Decision Theory 2017LNAI. [pdf]
  • Selection equilibria of higher order games (with Paulo Oliva, Evguenia Shprits, Viktor Winschel and Philipp Zahn). In Practical aspects of declarative languagesLNCS 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’14LIPIcs 39:89-110, 2015. [pdf]
  • Monad transformers for backtracking search. In Proceedings of MSFP 2014. EPTCS 153:31-50, 2014. [link] Accompanying Haskell code: [zip]
  • A generalisation of Nash’s theorem with higher-order functionals. In Proc R Soc A, 2013. [link] (Discussion)

Preprints

  • Coherence for lenses and open games. [arXiv] (Discussion)
  • 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). [arXiv]
  • A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras (with Mehrnoosh Sadrzadeh). [arXiv]
  • The selection monad as a CPS transformation. [arXiv]