Is game semantics necessary?
classification
🧮 math.LO
keywords
gamelinearlogicsemanticsdiscussextentformalismimplicit
read the original abstract
We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear logic.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.