Year: 1993
Type: preprint
Abstract: We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear logic.
Source: arXiv (Cornell University)
Author: Blass, Andreas
Institution: University of Michigan
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2952585204