Skip to Content
Advanced Search           Random Link
Home > Artificial Intelligence > Games > Game Semantics or Linear Logic?

< Previous | Next >

Game Semantics or Linear Logic?

http://www.csc.villanova.edu/~japaridz/CL/gsoll.html

A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.

Submitted in section: Artificial Intelligence: Games: Game Semantics or Linear Logic?

Review It Rate It Bookmark It