Game Semantics or Linear Logic?
A discussion of how linear logic relates to computability logic, - the game-semantically introduced logic of computational resources and interactive computation.