Game Semantics or Linear Logic?

A discussion of how linear logic relates to computability logic - the game-sematically introduced logic of computational resources and interactive computation.