Symmetry and interactivity in Programming
Pierre-Louis Curien (PPS)
TL;DR
This paper explores the historical development of interactivity and symmetry in programming language semantics and suggests potential links with ludics, highlighting foundational concepts in programming theory.
Contribution
It revisits early ideas of interactivity and symmetry in semantics and proposes new connections with ludics, offering insights into the theoretical underpinnings of programming languages.
Findings
Historical analysis of interactivity and symmetry in semantics
Proposed connections between semantics and ludics
Foundational insights into programming language theory
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Computability, Logic, AI Algorithms · Parallel Computing and Optimization Techniques