Symmetry and interactivity in Programming
Pierre-Louis Curien
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.
Create a lesson
Related papers
Polynomial VASS MDPs
Michal Ajdarow
Proceedings 23rd International Conference on Quantum Physics and Logic
John van de Wetering, Ognyan Oreshkov, Ana Belén Sainz
Final coalgebras over R-modules
Oisín Flynn-Connolly, Henning Basold, Chase Ford
Propositional Dynamic Logic with Program Costs
Krishna Manoorkar, Wolfgang Poiger
Math Foundation Formalization Agent: A General-Purpose Approach to Formalizing Mathematical Foundations
Jiaxin Xie, Guowei Dou, Xiang Ji et al.
Homomorphisms on a product of free convex semilattices
Ana Sokolova, Harald Woracek