Publications

(Published or accepted for publication)

  • Towards functorial language-games (with Martha Lewis). To appear in Compositional Approaches for Physics, NLP and Social Sciences (CAPNS) 2018. [arXiv]
  • Backward induction for repeated games. In Mathematically Structured Functional Programming (MSFP) 2018Electronic Proceedings in Theoretical Computer Science 275:35–52, 2018. [link] Accompanying Haskell code: [hs]
  • Compositional game theory (with Neil Ghani, Viktor Winschel and Philipp Zahn). In Logic in Computer Science (LiCS) 2018ACM, 2018. [arXiv]
  • Morphisms of open games. To appear in Mathematical Foundations of Programming Semantics (MFPS) 2018. [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]
  • A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras (with Mehrnoosh Sadrzadeh). To appear in Post-proceedings of Workshop on Logic, Language, Information and Computation (WoLLIC) 2014. Mathematical Structures in Computer Science. [arXiv]
  • Towards compositional game theory. PhD thesis, Queen Mary University of London, 2016. [pdf] (Discussion)
  • 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)

Preprints

  • Limits of bimorphic lenses. [arXiv]
  • The algebra of predicting agents (with Joe Bolt and Viktor Winschel). [arXiv]
  • Coherence for lenses and open games. [arXiv]

Technical reports

(Not submitted for publication)

  • Compositionality and string diagrams for game theory (with Evguenia Shprits, Viktor Winschel and Philipp Zahn). [arXiv]
  • The selection monad as a CPS transformation. [arXiv]