Publications
Bookmarks
Contacts
Stage RSS Feeds
|
Name:Institution:Game Semantics or Linear Logic?Position:Location:Field of Science:Science - Math - Logic and Foundations - Game SemanticsWebsite / Blog:www.csc.villanova.edu/~japaridz/CL/gsoll.htmlOnline Status:
|
About my Work: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. Projects:Vita / Publications: |
Grants and Awards:About my Institution:Additional Information: |