Math: Logic and Foundations: Game Semantics: Game Semantics or Linear Logic?

Home: Math: Logic and Foundations: Game Semantics:

Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Game Semantics: Game Semantics or Linear Logic?

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

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

Detailed Traffic Statistic From Alexa

Previous Next

HOME | ADD A LINK | MODIFY A LINK | LOGIN

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people