Symmetry and Interactivity in Programming

DOI10.2178/BSL/1052669287MaRDI QIDQ4650295zbMATH OpenOpenAlexFDO

Authors Pierre-Louis Curien

Publication date 9 February 2005

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/cs/0501034, https://projecteuclid.org/euclid.bsl/1052669287

zbMATH Keywords

denotational semanticsinteractivityludicsoperational semanticsproof theorysymmetry

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

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.

Cites work

• A semantics of evidence for classical arithmetic
• Full abstraction for PCF
• Fully abstract models of typed \(\lambda\)-calculi
• Fully abstract semantics for observably sequential languages
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Linear logic
• New foundations for the geometry of interaction
• On full abstraction for PCF: I, II and III
• Sequential algorithms on concrete data structures

Cited in

(1)

• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage

This page was built for publication: Symmetry and Interactivity in Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4650295)