22 citations · 103 across the 26 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2018★ 4 cited
Towards Functorial Language-Games
Jules Hedges, Martha Lewis
In categorical compositional semantics of natural language one studies functors from a category of grammatical derivations (such as a Lambek pregroup) to a semantic category (such…
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.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…