Symmetry and interactivity in Programming - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Bulletin of Symbolic Logic Année : 2003

Symmetry and interactivity in Programming

Pierre-Louis Curien
  • Fonction : Auteur
  • PersonId : 829811

Résumé

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.
Fichier principal
Vignette du fichier
sym-inter.pdf (106.18 Ko) Télécharger le fichier

Dates et versions

hal-00003868 , version 1 (17-01-2005)

Identifiants

Citer

Pierre-Louis Curien. Symmetry and interactivity in Programming. Bulletin of Symbolic Logic, 2003, 9 (2), pp.169-180. ⟨hal-00003868⟩
78 Consultations
262 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More