Is game semantics necessary?
逻辑
2008-02-03 v1
摘要
We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear logic.
引用
@article{arxiv.math/9310211,
title = {Is game semantics necessary?},
author = {Andreas Blass},
journal= {arXiv preprint arXiv:math/9310211},
year = {2008}
}