Symmetry and interactivity in programming
Curien, P.-L.
Bull. Symbolic Logic, Tome 09 (2003) no. 1, p. 169-180 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2003-06-14
Classification:  
@article{1052669287,
     author = {Curien, P.-L.},
     title = {Symmetry and interactivity in programming},
     journal = {Bull. Symbolic Logic},
     volume = {09},
     number = {1},
     year = {2003},
     pages = { 169-180},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1052669287}
}

Curien, P.-L. Symmetry and interactivity in programming. Bull. Symbolic Logic, Tome 09 (2003) no. 1, pp.  169-180. http://gdmltest.u-ga.fr/item/1052669287/