22 citations · 103 across the 26 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.LO2014★ 1 cited
A Higher-order Framework for Decision Problems and Games
Jules Hedges, Paulo Oliva, Evguenia Winschel +2
We introduce a new unified framework for modelling both decision problems and finite games based on quantifiers and selection functions. We show that the canonical utility maximisa…
cs.PL2014★ 15 cited
Monad Transformers for Backtracking Search
Jules Hedges
This paper extends Escardo and Oliva's selection monad to the selection monad transformer, a general monadic framework for expressing backtracking search algorithms in Haskell. The…
cs.LO2014
Dialectica models of additive-free linear logic
Jules Hedges
This paper presents a construction which transforms categorical models of additive-free propositional linear logic, closely based on de Paiva's dialectica categories and Oliva's fu…