Symmetry and interactivity in Programming

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We recall some of the early occurrences of the notions of interactivity and symmetry in the operational and denotational semantics of programming languages. We suggest some connections with ludics.

Keywords

Logic in Computer Science

Citation

URI

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

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0501034
 http://arxiv.org/abs/cs/0501034
 Bulletin of Symbolic Logic 9, 2 (2003) 169-180

Collections

arXiv