(published, accepted, or intended for future publication)
Towards foundations of categorical cybernetics (with Matteo Capucci, Bruno Gavranović and Eigil Fjeldgren Rischel)
In Proceedings of Applied Category Theory 2021, Electronic Proceedings in Theoretical Computer Science 372:235–248, 2022
[link]
Dependent Bayesian lenses: Categories of bidirectional Markov kernels with canonical Bayesian inversion (with Dylan Braithwaite)
Preprint, 2022
[arXiv]
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]
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
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
Morphisms of open games
In Mathematical Foundations of Programming Semantics (MFPS) 2018. Electronic Notes in Theoretical Computer Science 341:151–177, 2018
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) 2018. Electronic 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) 2018. ACM, 2018
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
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
Jules Hedges 