Publications

(Published or accepted for publication)

Towards foundations of categorical cybernetics (with Matteo Capucci, Bruno Gavranović and Eigil Fjeldgren Rischel)

To appear in Proceedings of Applied Category Theory 2021

[arXiv]


Compositional modelling of network games (with Elena Di Lavore and Paweł Sobociński)

In Computer Science Logic 2021, Leibniz International Proceedings in Informatics 183, 2021

[link, arXiv]


The game semantics of game theory

To appear in Samson Abramsky on Logic and Structure in Computer Science and Beyond. Outstanding Contributions to Logic

[arXiv]


A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras (with Mehrnoosh Sadrzadeh)

Mathematical Structures in Computer Science 29(6):783–809, 2019

[link, arXiv]


Morphisms of open games

In Mathematical Foundations of Programming Semantics (MFPS) 2018. Electronic Notes in Theoretical Computer Science 341:151–177, 2018

[link, arXiv]


Towards functorial language-games (with Martha Lewis)

In Compositional Approaches for Physics, NLP and Social Sciences (CAPNS) 2018. Electronic Proceedings in Theoretical Computer Science 283:89–102, 2018

[link]


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

[link, 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

[link, 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

[link, pdf] Accompanying Haskell code: [hs]


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

  • Composing games into complex institutions (with Seth Frey, Joshua Tan and Philipp Zahn). [arXiv]
  • Sheet diagrams for bimonoidal categories (with Cole Comfort and Antonin Delpeuch). [arXiv]
  • Bayesian open games (with Joe Bolt and Philipp Zahn). [arXiv]
  • Sequential games and nondeterministic selection functions (with Joe Bolt and Philipp Zahn). [arXiv]
  • Coherence for lenses and open games. [arXiv]

Technical reports

(Not intended for publication)

  • Non-compositionality in categorical systems theory [link]
  • Foundations of brick diagrams (with Jelle Herold) [arXiv]
  • From open learners to open games. [arXiv]
  • Limits of bimorphic lenses. [arXiv]
  • The algebra of predicting agents (with Joe Bolt and Viktor Winschel). [arXiv]
  • Compositionality and string diagrams for game theory (with Evguenia Shprits, Viktor Winschel and Philipp Zahn). [arXiv]
  • The selection monad as a CPS transformation. [arXiv]

We need to gradually stop viewing publications that are not open access as genuine publications