6 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
William John Gowers, James Laird
The non-commutative sequoid operator ⊘ on games was introduced to capture algebraically the presence of state in history-sensitive strategies in game semantics, by imposing…