Symmetry and interactivity in Programming
计算机科学中的逻辑
2007-06-17 v1
摘要
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.
引用
@article{arxiv.cs/0501034,
title = {Symmetry and interactivity in Programming},
author = {Pierre-Louis Curien},
journal= {arXiv preprint arXiv:cs/0501034},
year = {2007}
}