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.
https://hal.archives-ouvertes.fr/hal-00003868 Contributor : Pierre-Louis CurienConnect in order to contact the contributor Submitted on : Monday, January 17, 2005 - 6:44:09 PM Last modification on : Saturday, March 28, 2020 - 2:19:33 AM Long-term archiving on: : Thursday, April 1, 2010 - 4:20:54 PM
Pierre-Louis Curien. Symmetry and interactivity in Programming. Bulletin of Symbolic Logic, Association for Symbolic Logic, 2003, 9 (2), pp.169-180. ⟨hal-00003868⟩