1. Games and full completeness for multiplicative linear logic;Abramsky;J. Symbolic Logic,1994
2. Explicit provability and constructive semantics;Artemov;Bull. Symbolic Logic,2001
3. J. van Benthem, Logic in games, ILLC, preprint, University of Amsterdam, 2001.
4. Degrees of indeterminacy of games;Blass;Fund. Math.,1972
5. A game semantics for linear logic;Blass;Ann. Pure Appl. Logic,1992