Symmetry and interactivity in Programming
arXiv:cs/0501034
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.