Paper by Andreas Blass.
Wikipedia article.
Open Encyclopedia article.
Encyclopedia article.
A discussion of how linear logic relates to computability logic, - the game-sematically introduced ...
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.