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.

[1]  Jean-Yves Girard,et al.  Geometry of Interaction 1: Interpretation of System F , 1989 .

[2]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[3]  Thierry Coquand,et al.  A semantics of evidence for classical arithmetic , 1995, Journal of Symbolic Logic.

[4]  Radha Jagadeesan,et al.  New foundations for the geometry of interaction , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

[5]  Pierre-Louis Curien,et al.  Sequential Algorithms on Concrete Data Structures , 1982, Theor. Comput. Sci..

[6]  Walter Felscher.  Dialogues as a Foundation for Intuitionistic Logic , 2002 .

[7]  Timothy G. Griffin,et al.  A formulae-as-type notion of control , 1989, POPL '90.

[8]  James David Laird,et al.  A semantic analysis of control , 1999 .

[9]  S. Abramsky.  Game Semantics , 1999 .

[10]  Robin Milner,et al.  Fully Abstract Models of Typed lambda-Calculi , 1977, Theor. Comput. Sci..

[11]  Roberto M. Amadio,et al.  Domains and lambda-calculi , 1998, Cambridge tracts in theoretical computer science.

[12]  William A. Howard,et al.  The formulae-as-types notion of construction , 1969 .

[13]  Radha Jagadeesan,et al.  Full Abstraction for PCF , 1994, Inf. Comput..

[14]  Hugo Herbelin,et al.  The duality of computation , 2000, ICFP '00.

[15]  S. C. Kleene.  Recursive Functionals and Quantifiers of Finite Types Revisited II , 1980 .

[16]  Matthias Felleisen,et al.  Fully Abstract Semantics for Observably Sequential Languages , 1994, Inf. Comput..

[17]  Gilles Kahn,et al.  Coroutines and Networks of Parallel Processes , 1977, IFIP Congress.

[18]  Gerard Berry,et al.  Theory and practice of sequential algorithms: the kernel of the applicative language CDS , 1986 .

[19]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[20]  Pierre-Louis Curien.  On the Symmetry of Sequentiality , 1993, MFPS.