Game Semantics or Linear Logic?
csc.villanova.eduA discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.