Searching for "Games Semantics for Linear Logic" – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
A Constructive Game Semantics for the Language of Linear Logic
- …A constructive game semantics for the language of linear logic Giorgi Japaridze Department…
- Cited by 6 (3 self) – Add To MetaCart
-
Is Game Semantics Necessary?
- … version of game semantics for linear logic is implicit in the logic itself and the basic intuitions…
- Cited by 3 (1 self) – Add To MetaCart
-
Games and Full Completeness for Multiplicative Linear Logic
- …/24 September 25, 1992 Abstract We present a game semantics for Linear Logic, in which formulas denote games…
- Add To MetaCart
-
Games and Full Completeness for Multiplicative Linear Logic
- …/24 September 27, 1993 Abstract We present a game semantics for Linear Logic, in which formulas denote games…
- Cited by 166 (25 self) – Add To MetaCart
-
A categorical semantics for polarized mall
- … in the late 1970’s in abstract duality theory and more recently in work on game semantics for linear logic…
- Cited by 2 (0 self) – Add To MetaCart
-
What is the real logic of games after all?
- … of the term "linear logic") within the framework of one general semantical approach. Key words: game logics…
- Add To MetaCart
-
Seminar on Linear Logic and Application - Suggested Topics
- … Homann. A combined proof search strategy for linear logic. Submitted to LICS'95. [SH91] P. Schroder…
- Add To MetaCart
-
Games and full abstraction for PCF: preliminary announcement
- … on the game semantics for Linear Logic presented in [1], and subsequently extended to cover the exponential…
- Cited by 4 (0 self) – Add To MetaCart
-
Computational Aspects of Linear Logic
- …. [18] A. Blass. A game semantics for linear logic. Annals Pure Appl. Logic, 56, 1992. Special Volume…
- Cited by 13 (3 self) – Add To MetaCart
-
Focalizing Linear Logic in Itself
- …Focalizing Linear Logic in Itself Jason Reed December 6, 2008 Abstract We sketch a simple…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
