Is game semantics necessary?

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear logic.

Keywords

Logic

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/152870

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/9310211
 http://arxiv.org/abs/math/9310211

Collections

arXiv