Symmetry and interactivity in Programming - Archive ouverte HAL Access content directly
Journal Articles Bulletin of Symbolic Logic Year : 2003

Symmetry and interactivity in Programming

Pierre-Louis Curien
  • Function : Author
  • PersonId : 829811

Abstract

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 and versions

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

Identifiers

Cite

Pierre-Louis Curien. Symmetry and interactivity in Programming. Bulletin of Symbolic Logic, 2003, 9 (2), pp.169-180. ⟨hal-00003868⟩
67 View
244 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More