Game Semantics or Linear Logic?
URL: http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
Submitted: Sat Sep 06 2003
Rating: 0.00
Votes: 0
CT: Artificial Intelligence: Games: Game Semantics or Linear Logic?
Detailed Traffic Statistic From Alexa
Description:
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.