On the symmetry of sequentiality

DOI10.1007/3-540-58027-1_2OpenAlexW1597533630MaRDI QIDQ5890040

Pierre-Louis Curien

Publication date: 28 April 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58027-1_2

zbMATH Keywords

sequential algorithmlinear logicwinning strategyleft adjointsequentiality index

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Comparing hierarchies of types in models of linear logic, On dialogue games and graph games, Polarized games, Interpreting Localized Computational Effects Using Operators of Higher Type, A synthetic theory of sequential domains, Preface to the special volume, Some Programming Languages Suggested by Game Models (Extended Abstract), Parallel and serial hypercoherences, A relative PCF-definability result for strongly stable functions and some corollaries, Definability and Full Abstraction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Sequential algorithms on concrete data structures
• A game semantics for linear logic
• Concrete domains
• A theory of sequentiality
• *-Autonomous categories and linear logic
• Degrees of indeterminacy of games