Is game semantics necessary?
arXiv:math/9310211
Abstract
We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear logic.
arXiv:math/9310211
We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear logic.