Symmetry and Interactivity in Programming
Pierre-Louis Curien · Bulletin of Symbolic Logic · 2003
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.