22 citations · 74 across the 11 of their papers we have counts for
5 papers · 1 filter
Compositional Game Theory, Compositionally
Robert Atkey, Bruno Gavranović, Neil Ghani +3
We present a new compositional approach to compositional game theory (CGT) based upon Arrows, a concept originally from functional programming, closely related to Tambara modules,…
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law
Neil Ghani, Clemens Kupke, Alasdair Lambert +1
We extend the open games framework for compositional game theory to encompass also mixed strategies, making essential use of the discrete probability distribution monad. We show th…
Positive Inductive-Recursive Definitions
Neil Ghani, Fredrik Nordvall Forsberg, Lorenzo Malatesta
A new theory of data types which allows for the definition of types as initial algebras of certain functors Fam(C) -> Fam(C) is presented. This theory, which we call positive induc…
Indexed Induction and Coinduction, Fibrationally
Neil Ghani, Patricia Johann, Clement Fumex
This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we pre…
Refining Inductive Types
Robert Atkey, Patricia Johann, Neil Ghani
Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexe…