Symmetry and interactivity in Programming
<|reference_start|>Symmetry and interactivity in Programming: 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.<|reference_end|>
@article{curien2005symmetry,
    title={Symmetry and interactivity in Programming},
    author={Pierre-Louis Curien (PPS)},
    journal={Bulletin of Symbolic Logic 9, 2 (2003) 169-180},
    year={2005},
    archivePrefix={arXiv},
    eprint={cs/0501034},
    primaryClass={cs.LO}
}