Web  |  Images  |  Video  |  Mp3  |  News  |  Jobs  |  Directory
 

People (7)

 

6 sites in Game Semantics

Game Semantics or Linear Logic? Save
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
http://www.csc.villanova.edu/~japarid...   
Logic and Games Save
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
http://plato.stanford.edu/entries/log...   

Help build the largest human-edited directory of the web
Suggest a site | Open Directory Project | Become an editor

Copyright ©1995-2008