CSL 1994
Is Game Semantics Necessary?
Abstract
Abstract We discuss the extent to which game semantics is implicit in the basic concepts of linear logic.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- Annual Conference on Computer Science Logic
- Archive span
- 1988-2026
- Indexed papers
- 1413
- Paper id
- 50687633385791864