Symmetry and interactivity in Programming
| dc.creator | Curien, Pierre-Louis | |
| dc.date | 2005-01-18 | |
| dc.date.accessioned | 2026-07-07T08:10:18Z | |
| dc.date.available | 2026-07-07T08:10:18Z | |
| dc.description | 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. | |
| dc.identifier | https://arxiv.org/abs/cs/0501034 | |
| dc.identifier | http://arxiv.org/abs/cs/0501034 | |
| dc.identifier | Bulletin of Symbolic Logic 9, 2 (2003) 169-180 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/131783 | |
| dc.subject | Logic in Computer Science | |
| dc.title | Symmetry and interactivity in Programming | |
| dc.type | text |