Papers

(published, accepted, or intended for future publication)

The road to general intelligence (with Jerry Swan, Eric Nivel, Neel Kant, Timothy Atkinson and Bas Steunebrink)

Volume 1049 of Studies in computational intelligence, Springer, 2022

[link]


Value iteration is optic composition (with Riu Rodríguez Sakamoto)

To appear in Proceedings of Applied Category Theory 2022

[arXiv]



Fibre optics (with Dylan Braithwaite, Matteo Capucci, Bruno Gavranović and Eigil Fjeldgren Rischel)

Preprint, 2021

[arXiv]


Bayesian open games (with Joe Bolt and Philipp Zahn)

To appear in Compositionality

[arXiv]


Composing games into complex institutions (with Seth Frey, Joshua Tan and Philipp Zahn)

Preprint, 2021

[arXiv]


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]


Sheet diagrams for bimonoidal categories (with Cole Comfort and Antonin Delpeuch)

Preprint, 2020

[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]


Sequential games and nondeterministic selection functions (with Joe Bolt and Philipp Zahn)

Preprint, 2019

[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]


Coherence for lenses and open games

Preprint, 2017

[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)

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