Collaborated with:
W.J.Gowers
Talks about:
nondetermin (1) countabl (1) abstract (1) semant (1) fulli (1) game (1)
Person: James David Laird
DBLP: Laird:James_David
Contributed to:
Wrote 1 papers:
- CSL-2018-GowersL #game studies #nondeterminism #semantics
- A Fully Abstract Game Semantics for Countable Nondeterminism (WJG, JDL), p. 18.