Jules Hedges

According to our database, Jules Hedges authored at least 29 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Compositional Structure of Bayesian Inference.

Dylan Braithwaite, Jules Hedges, Toby St Clere Smithe

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

The Road to General Intelligence, 2

Jerry Swan, Eric Nivel, Neel Kant, Jules Hedges, Timothy Atkinson, Bas R. Steunebrink

Studies in Computational Intelligence 1049, Springer, ISBN: 978-3-031-08019-7, 2022

Dependent Bayesian Lenses: Categories of Bidirectional Markov Kernels with Canonical Bayesian Inversion.

Dylan Braithwaite, Jules Hedges

CoRR, 2022

2021

Composing games into complex institutions.

Seth Frey, Jules Hedges, Joshua Z. Tan, Philipp Zahn

CoRR, 2021

Compositional Modelling of Network Games.

Elena Di Lavore, Jules Hedges, Pawel Sobocinski

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

Games on graphs: a compositional approach.

Elena Di Lavore, Jules Hedges, Pawel Sobocinski

CoRR, 2020

2019

A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras.

Jules Hedges, Mehrnoosh Sadrzadeh

Math. Struct. Comput. Sci., 2019

Bayesian open games.

Joe Bolt, Jules Hedges, Philipp Zahn

CoRR, 2019

The game semantics of game theory.

Jules Hedges

CoRR, 2019

From open learners to open games.

Jules Hedges

CoRR, 2019

2018

Morphisms of Open Games.

Jules Hedges

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Sequential games and nondeterministic selection functions.

Joe Bolt, Jules Hedges, Philipp Zahn

CoRR, 2018

Limits of bimorphic lenses.

Jules Hedges

CoRR, 2018

Towards functorial language-games.

Jules Hedges, Martha Lewis

Proceedings of the 2018 Workshop on Compositional Approaches in Physics, 2018

Backward induction for repeated games.

Jules Hedges

Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, 2018

The algebra of predicting agents.

Joe Bolt, Jules Hedges, Viktor Winschel

CoRR, 2018

Compositional Game Theory.

Neil Ghani, Jules Hedges, Viktor Winschel, Philipp Zahn

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Coherence for lenses and open games.

Jules Hedges

CoRR, 2017

Selection Equilibria of Higher-Order Games.

Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn

Proceedings of the Practical Aspects of Declarative Languages, 2017

Higher-Order Decision Theory.

Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn

Proceedings of the Algorithmic Decision Theory - 5th International Conference, 2017

2016

Compositionality and String Diagrams for Game Theory.

Jules Hedges, Evguenia Shprits, Viktor Winschel, Philipp Zahn

CoRR, 2016

A compositional approach to economic game theory.

Neil Ghani, Jules Hedges

CoRR, 2016

2015

Higher-Order Game Theory.

Jules Hedges, Paulo Oliva, Evguenia Sprits, Viktor Winschel, Philipp Zahn

CoRR, 2015

String diagrams for game theory.

Jules Hedges

CoRR, 2015

The selection monad as a CPS transformation.

Jules Hedges

CoRR, 2015

2014

A Higher-order Framework for Decision Problems and Games.

Jules Hedges, Paulo Oliva, Evguenia Winschel, Viktor Winschel, Philipp Zahn

CoRR, 2014

Monad Transformers for Backtracking Search.

Jules Hedges

Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014

Dialectica models of additive-free linear logic.

Jules Hedges

CoRR, 2014

Dialectica Categories and Games with Bidding.

Jules Hedges

Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014