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


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)



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



Gmail Mastodon Facebook X LinkedIn More