Game Semantics or Linear Logic?

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-sematically introduced logic of computational resources and interactive computation.
Leibniz Gottfried Wilhelm