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.
Citation
P.-L. Curien. "Symmetry and interactivity in programming." Bull. Symbolic Logic 9 (2) 169 - 180, June 2003. https://doi.org/10.2178/bsl/1052669287
Information
Published: June 2003
First available in Project Euclid: 11 May 2003
zbMATH: 1058.03027
MathSciNet: MR1988964
Digital Object Identifier: 10.2178/bsl/1052669287
Rights: Copyright © 2003 Association for Symbolic Logic
