Symmetry and interactivity in Programming
Logic in Computer Science
2007-06-17 v1
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.
Cite
@article{arxiv.cs/0501034,
title = {Symmetry and interactivity in Programming},
author = {Pierre-Louis Curien},
journal= {arXiv preprint arXiv:cs/0501034},
year = {2007}
}