Game Semantics or Linear Logic?



All Links

Share this:

Details of Game Semantics or Linear Logic?

About Game Semantics or Linear Logic?
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.