Symmetry and Interactivity in Programming (2001)
by
P.-L. Curien
| Venue: | Bulletin of Symbolic Logic |
| Citations: | 5 - 1 self |
BibTeX
@INPROCEEDINGS{Curien01symmetryand,
author = {P.-L. Curien},
title = {Symmetry and Interactivity in Programming},
booktitle = {Bulletin of Symbolic Logic},
year = {2001},
pages = {479--513}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
